SPIN Site Map

SPIN Tool Distribution

Spin Homepage
Precompiled Binaries
Sources and Related Software
Installation Instructions
Performance Data
Spin Forum

New Spin book (2004)

Main Page
Book Errata on 1st printing

Old Spin Book (1991)

Main Page
Book Errata

Language Reference

Online Language Reference
Basic Promela Manual (Japanese translation)
Concise Promela Reference (Gerth)
Promela Grammar

Tool Background

Spin's Roots
Spin Tutorial 1 (Ruys)
Spin Tutorial 2 (Ruys)
Spin Exercises
Using iSPIN
Spin Verification Roadmap
Overview of Spin Options
Overview of Pan Options
Multi-Core DFS
Multi-Core BFS
Priority-based scheduling
Swarm verification

Symposium Proceedings

1995, 1996, 1997, 1998, 1999a, 1999b, 2000,
2001, 2002, 2003, 2004, 2005, 2006, 2007,
2008, 2009, 2010, 2011, 2012, 2013, 2014.

Keeping Up to Date

Index of News Letters
Overview of Main Versions
Whats New in Spin Versions 2 and 3
Overview of static analyzers
Coding Rules for critical software