Spin Sources

Current Version 5.2.5 (17 April 2010):

• Full distribution, with sources: spin525.tar.gz (388k)
• PC executable, xspin, and documentation, but no sources: pc_spin525.zip (381k)
• C Sources only: src525.tar.gz (213k)
• GUIs:
  • xspin only (Tcl/Tk GUI for Spin): xspin525.tcl source (194k)
  • jSpin (Java GUI for Spin, by Moti Ben-Ari: jSpin version 4.0 with source (623k)

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 5 Updates (2007- now)
  • 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