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

Current bandwidth utilization 1867.46 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 mCRL. Using its accompanying toolset systems can be analysed and
verified automatically.

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 README                                      17-Oct-2020 04:49  292   
 mcrl2.SlackBuild                            14-Jun-2018 16:00  3.1K  
 mcrl2.info                                  14-Jun-2018 16:00  290   
 slack-desc                                  14-Jun-2018 16:00  925   

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