spin - 6.5.2+dfsg-2 main

Spin is a popular open-source software verification tool, used by thousands
of people worldwide. The tool can be used for the formal verification of
multi-threaded software applications. The tool was developed at Bell Labs
in the Unix group of the Computing Sciences Research Center, starting in 1980.
.
The software has been available freely since 1991, and continues to evolve to
keep pace with new developments.
.
In April 2002 the tool was awarded the ACM System Software Award.

Priority: optional
Section: devel
Suites: amber byzantium crimson dawn landing 
Maintainer: Tom Lee <debian [꩜] tomlee.co>
 
Homepage Source Package
 

Dependencies

Installed Size: 1.7 MB
Architectures: amd64  arm64 

 

Versions

6.5.2+dfsg-2 arm64 6.5.2+dfsg-2 amd64