Welcome to ftp.nluug.nl Current directory: /pub/os/Linux/distr/salix/sbo/14.0/development/spin/ |
|
Contents of README: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. |
Name Last modified Size
Parent Directory - README 30-Sep-2011 00:32 256 slack-desc 30-Sep-2011 00:32 856 spin.SlackBuild 02-Oct-2012 19:59 1.9K spin.info 29-Sep-2012 06:34 263
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!