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

Current bandwidth utilization 1224.92 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                                          26-Nov-2013 10:57  293   
 mcrl2.SlackBuild                                12-Sep-2015 03:15  3.1K  
 mcrl2.info                                      31-Dec-2014 13:28  282   
 slack-desc                                      26-Nov-2013 10:57  925   

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