/ Tools / By gisum_user Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab AlphaSPIN alphaSPIN is a XML-based tool for obtaining abstract versions from models written in PROMELA, which can be verified with the model checker SPIN. Website