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.
Maintained by: orphaned - no maintainer
Keywords: model,mcrl2,process,algebra
ChangeLog: mcrl2
Homepage:
https://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-2024 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of
Patrick Volkerding
Linux® is a registered trademark of
Linus Torvalds