SPIN model checker
Software
>
SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others in the original Unix group of the Computing Sciences Research Center at... Wikipedia
Developer: Gerard J. Holzmann
Initial release: 1989
License: 3-clause BSD License (since version 6.4.5); SPIN Software Public License (previous versions)
Operating system: Linux; Microsoft Windows; Mac OS X
Stable release: 6.5.2 / December 6, 2019; 4 years ago