mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-25 10:03:03 +01:00
5 lines
256 B
Text
5 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.
|