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

Current bandwidth utilization 1777.24 Mbit/s

mCRL2 stands for micro Common Representation Language 2. It is a
specification language that can be used to specify and analyse the
behaviour of distributed systems and protocols and is the successor to
μCRL. Using its accompanying toolset systems can be analysed and verified
automatically.

 Name                                         Last modified      Size  
 Parent Directory                                                  -   
 README                                       22-Oct-2011 00:00  293   
 mcrl2.SlackBuild                             22-Oct-2011 00:00  2.2K  
 mcrl2.info                                   22-Oct-2011 00:00  300   
 slack-desc                                   22-Oct-2011 00:00  895   

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!