`Spin Precompiled Executables`

`Current Version 5.2.0 (8 May 2009):`

Rename the executable to spin after downloading and place in /bin or equivalent.

Windows PC Spin executable: spin520.exe (606K current)
Linux Spin executable 32bit version: spin520_linux (625K current)
Linux Spin executable 64bit version: spin520_linux64 (731K current)
SunOS executable: spin520_sunos (727K current)

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)`

Windows PC Spin executable: spin430.exe (508K old)
Linux Spin executable 32bit version: spin430_linux (614K old)
Linux Spin executable 64bit version: spin430_linux64 (712K old)

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:

Spin Sources: ../Src/index.html

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?