---
Categories:
- Education
- Science
Description:
C: <p>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 muCRL. Using its accompanying toolset, systems can be analysed and verified automatically.</p><p>This
toolset supports a collection of tools for linearisation, simulation, state-space exploration and
generation and tools to optimise and analyse specifications. Moreover, state spaces can be manipulated,
visualised and analysed.</p>
fr: <p>mCRL2 signifie micro Langue de Représentation Commune 2 (micro Common Representation Language
2). Il s'agit d'un langage de spécification qui peut être utilisé pour spécifier et analyser le comportement
des systèmes distribués et des protocoles et est le successeur de muCRL. Grâce à son ensemble d'outils
d'accompagnement, les systèmes peuvent être analysés et contrôlés automatiquement.</p><p>This toolset
supports a collection of tools for linearisation, simulation, state-space exploration and generation
and tools to optimise and analyse specifications. Moreover, state spaces can be manipulated, visualised
and analysed.</p>
ID: mcrl2-gui.desktop
Icon:
cached: mcrl2_mcrl2-green.png
Name:
C: mCRL2
Package: mcrl2
Summary:
C: Graphical front end for mCRL2 toolset
Type: desktop-app
