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.
Maintained by: Jockey S. Kyd
Approved by: Niels Horn
Keywords: model,mcrl2,process,algebra
Homepage:
http://www.mcrl2.org
Download SlackBuild:
mcrl2.tar.gz
mcrl2.tar.gz.asc (FAQ)
(the SlackBuild does not include the source)
| Individual Files: |
| • README |
| • mcrl2.SlackBuild |
| • mcrl2.info |
| • slack-desc |
© 2006-2013
SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of
Patrick Volkerding
Linux® is a registered trademark of
Linus Torvalds
Valid XHTML
and
CSS by
WebSight Designs | Hosting by
OnyxLight Communications