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

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