Jump to Navigation

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



Main menu 2

Tool | by Dr. Radut