Welcome to ftp.nluug.nl Current directory: /pub/ftp/os/Linux/distr/salix/sbo/13.37/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 29-Sep-2011 00:00 256 slack-desc 29-Sep-2011 00:00 856 spin.SlackBuild 29-Sep-2011 00:00 1.9K spin.info 29-Sep-2011 00:00 273
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!