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