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||Software Development Quality Assurance Scientific/Engineering Utilities education|
|Operating Systems||POSIX Linux Windows Windows Unix BSD|
Release Notes: This version is even more efficient and robust.
Release Notes: This version fixes lots of bugs.
Release Notes: Many new features were added.
Release Notes: New features and bugfixes.
Release Notes: Many bugfixes were made.