Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/13.37/development/mcrl2/

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!