Department of Telematics tools http://www.item.ntnu.no/ 2008-05-30T21:14:02+02:00 Department of Telematics http://www.item.ntnu.no/ http://www.item.ntnu.no/lib/images/favicon.ico text/html 2008-03-28T21:44:23+02:00 Spin and Promela http://www.item.ntnu.no/tools/spin?rev=1206737063&do=diff * Model checking with Spin * Promela * Spin tool support and resources Model checking with Spin Spin is an open-source model-checker that can be used for the formal verification of distributed software systems. Spin has been developed at Bell Labs, in the Computing Sciences Research Center, starting in 1980. It has been available freely since 1991, and was awarded the prestigious System Software Award for 2001 by the ACM in April 2002.