Spin Sources

Current Version 6.2.5 (4 May 2013):

• Full distribution, with sources: spin625.tar.gz (462k)
• PC executable, xspin, and documentation, but no sources: pc_spin625.zip (456k)
• C Sources only: src625.tar.gz (275k)
• GUIs:
  • ispin Version 1.1.0 (Tcl/Tk GUI for Spin Version 6): ispin.tcl, source (228k)
  • jSpin (Java GUI for Spin, by Moti Ben-Ari: jSpin with source (625k)
  • Old GUI (no longer supported): xspin525.tcl source (195k)

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
• Spin 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)