Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/14.1/development/spin/

Current bandwidth utilization 1436.27 Mbit/s

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!