Main SPIN Versions

• Version 1.0 - 1/91 - supertrace and exhaustive verification
• Version 1.5 - 4/93 - added Xspin (graphical user interface)
• Version 2.0 - 1/95 - partial order reduction
• Version 2.3 - 4/95 - channel poll operators
• Version 2.4 - 5/95 - simulation breakpointing
• Version 2.7 - 7/95 - direct support for LTL formulae
• Version 2.8 - 3/96 - added support for Windows95/98/NT PCs
• Version 2.9 - 9/96 - unified algorithms for -l and -a
• Version 3.0 - 8/97 - bdd-like compression, event traces, support for Windows95/98/NT
• Version 3.1 - 1/98 - added language support for reading simulation inputs from STDIN
• Version 3.2 - 4/98 - added inline procedures to Promela, added hashcompact (3.2.2)
• Version 3.3 - 6/99 - added statement merging, stack cycling, and data-flow optimization
• Version 3.4 - 8/00 - added support for property-based slicing (spin option -A)
• Version 4.0 - 1/03 - added support for embedded C code and breadth-first search
• Version 4.1 - 12/03 - added support for data abstraction on embedded code
• Version 4.2 - 6/04 - added support for multiple hashfunctions in bitstate mode (k>2)
• Version 5.0 -10/07 - added support for distributed model checking on multi-core systems
• Version 5.1 - 4/08 - added support for swarm verifications

• See also:
  • Spin News Letters
  • Spin Manual Pages
  • Spin Home Page
• Comments: spin_list@spinroot.com