Comments for SPIN Distributed Software Verification Tool

02 Apr 2003 00:48 brainless

About SPIN

Spin is an ACM Award Year 2001 Winner, see here (

The citation is as follows:

"For SPIN, a highly successful and widely used software model-checking system based on "formal methods" from Computer Science. It has made advanced theoretical verification methods applicable to large and highly complex software systems."

The history of Spin can be traced way back to 1980, see the history page ( for more detail.

To use Spin, see this ( page.


Project Spotlight


An open, cross-platform journaling program.


Project Spotlight


A scientific plotting package.