AlphaSPIN

Web: 
http://www.lcc.uma.es/~pedro/tools.html

alphaSPIN is a XML-based tool for obtaining abstract versions from models written in PROMELA, which can be verified with the model checker SPIN