Spin

From ACENET
Jump to: navigation, search
Description
A model verification package for distributed software systems.
Modulefile
spin
Documentation
Spin homepage
Usage
$ module load spin
$ spin
Retrieved from "https://wiki.ace-net.ca/w/index.php?title=Spin&oldid=10341"