Install spin by entering the following commands in the terminal:
sudo apt update sudo apt install spin
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.
Homepage: http://spinroot.com
Version: 6.4.6+dfsg-2
Section: universe/devel