Projects / SPIN Distributed Software Verification Tool

SPIN Distributed Software Verification Tool

Spin is an award winning (ACM) software tool that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center.

Tags
Licenses
Operating Systems

Recent releases

  •  19 Sep 2004 09:42

    Release Notes: This version is even more efficient and robust.

    •  10 Jun 2003 08:30

      Release Notes: This version fixes lots of bugs.

      •  04 Jun 2003 08:21

        Release Notes: Many new features were added.

        •  17 Apr 2003 07:34

          Release Notes: New features and bugfixes.

          •  08 Apr 2003 08:10

            Release Notes: Many bugfixes were made.

            Recent comments

            02 Apr 2003 00:48 brainless

            About SPIN



            Spin is an ACM Award Year 2001 Winner, see here (http://www.acm.org/awards/ss_citations/2001.html).

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

            To use Spin, see this (http://spinroot.com/spin/Man/Roadmap.html) page.


            Screenshot

            Project Spotlight

            OpenStack4j

            A Fluent OpenStack client API for Java.

            Screenshot

            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.