mcrl2 202307.1

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.

Outputs: out
Website: https://mcrl2.org
Licenses: Boost 1.0
Package source: gnu/packages/maths.scm
Builds: See build status
Issues: See known issues

Installation

Install mcrl2 202307.1 as follows:

guix install mcrl2@202307.1

Or install the latest version:

guix install mcrl2

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.