Spin Sources

Current Version 6.5.1 (31 July 2020):

The github distribution includes all recent updates and bug-fixes, also in between main releases.

An archive of all Spin versions since 1990 or so is available at:

http://spinroot.com/spin/Archive/

For those who rely on it, here is version 6.5.1 of the
PC Windows executable compiled with mingw,
with some related files, but no sources:

pc_spin651.zip

Other:

• Spin homepage: http://spinroot.com/
• Spin Precompiled executables: ../Bin/index.html
• An alternative LTL to never claim converter: ltl2ba.tar.gz (28k)
• Documentation for use of embedded C code: spin4_ch17.pdf
• Spin Model extractor from C code: modex
• Swarm verification front-end to Spin: swarm
• Update history:
  • Version 6 Updates (2010- now)
  • Version 5 Updates (2007-2010)
  • Version 4 Updates (2003-2007)
  • Version 3 Updates (1997-2003)
  • Version 2 Updates (1995-1997)
  • Version 1 Updates (1991-1995)