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

Current bandwidth utilization 76.86 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                                       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!