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 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 Proceedings1995, 1996, 1997, 1998, 1999a, 1999b, 2000,2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014. 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 |