Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/13.37/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 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!