Source: spin Section: devel Priority: optional Maintainer: Tom Lee Uploaders: tony mancill Build-Depends: debhelper (>=11), bison Standards-Version: 4.2.1 Homepage: http://spinroot.com Vcs-Git: https://github.com/thomaslee/spin-debian Vcs-Browser: https://github.com/thomaslee/spin-debian Package: spin Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Breaks: staden (<< 2.0.0+b11) Replaces: staden (<< 2.0.0+b11) Description: formal software verification tool 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.