for the generic entry point file

file	spin/whatispin.html

for	SPIN's homepage, the generic entry point

file	spin/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	spin/pc_spin406.zip

for	Executable Windows95/98/NT/XP PC version of SPIN and Xspin, with testcases

file	spin/permission

for	Copyright and usage information

.