SPIN Tool DistributionSpin HomepagePrecompiled Binaries Sources and Related Software Installation Instructions Performance Data Spin Forum New Spin book (2004)Main PageBook Errata on 1st printing Old Spin Book (1991)Main PageBook Errata Language ReferenceOnline Language ReferenceBasic Promela Manual (Japanese translation) Concise Promela Reference (Gerth) Promela Grammar |
Tool BackgroundSpin's RootsSpin Tutorial 1 (Ruys) Spin Tutorial 2 (Ruys) Spin Exercises Verifier's Roadmap Using XSPIN Overview of Spin Options Overview of Pan Options Version 5 Multi-Core verification options Swarm verification Workshop Proceedings1995, 1996, 1997, 1998, 1999a, 1999b, 2000,2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010. Keeping Up to DateIndex of News LettersOverview of Main Versions Whats New in Spin Versions 2 and 3 Overview of static analyzers Coding Rules for critical software |