RSS 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 (www.acm.org/awards/ss_...).

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 (spinroot.com/spin/Doc/...) for more detail.

To use Spin, see this (spinroot.com/spin/Man/...) page.


Screenshot

Project Spotlight

Echofish

Log monitoring made easy.

Screenshot

Project Spotlight

SHA_HTTP_Auth

A Mod_Perl HTTP Authentication module using salted SHA2.