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.
Log monitoring made easy.
A Mod_Perl HTTP Authentication module using salted SHA2.