Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.1/development/mcrl2/ |
|
Contents of README: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!