mcrl2-minimal 202006.0 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.
- Website: https://mcrl2.org
- License: Boost 1.0
- Package source: maths.scm
- Patches: None
- Builds: x86_64-linux, i686-linux