Metadata for mcrl2 in universe

---
Type: desktop-application
ID: mcrl2-gui.desktop
Package: mcrl2
Name:
  C: mCRL2
Summary:
  C: Graphical front end for mCRL2 toolset
Description:
  fr: >-
    <p>mCRL2 signifie micro Langue de Représentation Commune 2 (micro Common Representation Language 2). Il s&apos;agit d&apos;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&apos;outils d&apos;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>
  en_AU: >-
    <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>
  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>
  en: >-
    <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>
  en_CA: >-
    <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>
  en_GB: >-
    <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>
Categories:
- Education
- Science
Icon:
  cached:
  - name: mcrl2_mcrl2-green.png
    width: 64
    height: 64
  - name: mcrl2_mcrl2-green.png
    width: 128
    height: 128