mirror of
https://github.com/Ponce/slackbuilds
synced 2024-12-01 01:00:03 +01:00
321157f485
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
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.
|