Spin Sources

Current Version 6.2.1 (14 May 2012):

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

Old (Outdated and Unsupported) Version 4.3.0 (22 June 2007):

• Full distribution, with source, in gzipped tar format: spin430.tar.gz (335k)
• PC executable, xspin, and documentation: pc_spin430.zip (340k)
• Xspin only (Tcl/Tk GUI for Spin): xspin430.tcl source (190k)

Other:

• Documentation for use of embedded C code in Version 4: spin4_ch17.pdf
• 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)

Related Packages:

• Alternative LTL to Buchi Automata Converter: ltl2ba.tar.gz (28k)
• Windows and Unix precompiled executables: Bin/index.html