Package: spin
Version: 6.5.2+dfsg-2
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Tom Lee <debian@tomlee.co>
Installed-Size: 1635
Depends: libc6 (>= 2.38)
Section: devel
Priority: optional
Homepage: https://spinroot.com/spin/whatispin.html
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.
