SPIN Tool DistributionSpin HomepagePrecompiled Binaries Sources and Related Software Installation Instructions Performance Data New Spin book (2004)Main PageBook Errata on 1st printing Old Spin Book (1991)Main PageBook Errata Language ReferenceBasic Promela Manual (Japanese translation)Concise Promela Reference (Gerth) Promela Language Reference 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 Workshop Proceedings1995, 1996, 1997, 1998, 1999a, 1999b, 2000,2001, 2002, 2003, 2004, 2005, 2006, 2007. 2008. 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 |