Skip to content
/ 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
Post navigation
← Previous Post
Next Post →

Copyright © Morse Research Group - University of Málaga, 2025