Click here to see the number of accesses to this library.
file whatispin.html for SPIN's homepage, the generic entry point file spin406.tar.gz for Software model checking for concurrent systems, with docs and sources by Gerard J. Holzmann, Bell Laboratories, Murray Hill, NJ lang C and Tcl/Tk file pc_spin406.zip for Executable Windows95/98/NT/XP PC version of SPIN and Xspin, with testcases file permission for Copyright and usage information