⇦ | mcrl2 [xenial]
Last updated on: 2016-11-16 10:55:59 UTC

DEP-11 metadata for mcrl2 in xenial

mcrl2-gui.desktop ⚙ amd64 ⚙ i386 ⚙ s390x ⚙ arm64 ⚙ ppc64el ⚙ powerpc

Icon
---
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