Spin Sources

Current Version 6.1.0 (4 May 2011):

• Full distribution, with sources: spin610.tar.gz (388k)
• PC executable, xspin, and documentation, but no sources: pc_spin610.zip (381k)
• C Sources only: src610.tar.gz (213k)
• GUIs:
  • ispin Version 3.0.6 (new Tcl/Tk GUI for Spin, requires Spin Version 6): ispin.tcl, source (220k)
  • 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