Spin Precompiled Executables
Current Version 5.2.0 (8 May 2009):
Rename the executable to spin after downloading and place in /bin or equivalent.
Version 5 is backward compatible with Version 4, but has new support for the
verification of larger models on distributed and multi-core systems.
For usage of the multi-core algorithms, see:
V5_Readme.html.
For alternative methods in dealing with large statespaces,
see also the Swarm page.
Swarm version 2.0 relies on extensions in Spin 5.2.0 and will be added soon.
Old (Outdated and Unsupported) Version 4.3.0 (22 June 2007)
Other:
- Documentation for use of embedded C code in Version 4:
spin4_ch17.pdf
- Specific usage information for the multi-core options in Version 5:
V5_Readme.html
- Performance data for the new Version 5:
index.html
- General Spin Update history, since 1991:
Links:
Some related packages for the PC:
- cygwin1.dll (1.7 Mb)if you have cygwin installed, you already have a more recent version of this
- cpp.exe precompiled C-preprocessor for Windows PCs
None of these are needed if you already have a C compiler
(such as gcc) installed on your system.
The recommended way to get gcc on a PC is to install
it from cygwin.
Full installation instructions for Spin itself on various platforms can be
found in README.html.
What is Spin?