mcrl2
Toolset for the mCRL2 formal specification language
mCRL2 (micro Common Representation Language 2) is a formal specification language for describing concurrent discrete event systems. Its toolset supports analysis and automatic verification, linearisation, simulation, state-space exploration and generation, and tools to optimise and analyse specifications. Also, state spaces can be manipulated, visualised and analysed.
- Versions: 202307.1
- Website: https://mcrl2.org
- Licenses: Boost 1.0
- Package source: gnu/packages/maths.scm
- Builds: See build status
- Issues: See known issues
Installation
Install the latest version of mcrl2 as follows:
guix install mcrl2
Or install a particular version:
guix install mcrl2@202307.1
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.
Badge code
You can use the following badge to inform users of mcrl2 about the latest version available in Guix.
Example HTML:
<a href='https://packages.guix.gnu.org/packages/mcrl2'><img src='https://packages.guix.gnu.org/packages/mcrl2/badges/latest-version.svg' alt='Version in GNU Guix'></a>
Example Markdown:
[](https://packages.guix.gnu.org/packages/mcrl2)
Example Org:
[[https://packages.guix.gnu.org/packages/mcrl2][https://packages.guix.gnu.org/packages/mcrl2/badges/latest-version.svg]]