Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.1/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 26-Nov-2013 10:57 256 slack-desc 26-Nov-2013 10:57 854 spin.SlackBuild 12-Sep-2015 03:15 3.0K spin.info 12-Apr-2015 05:11 262
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!