mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-14 21:56:41 +01:00
4 lines
256 B
Text
4 lines
256 B
Text
Spin is a popular open-source software tool, used by thousands of people
|
|
worldwide, that can be used for the formal verification of distributed
|
|
software systems. In April 2002 the tool was awarded the prestigious System
|
|
Software Award for 2001 by the ACM.
|