Metadata for mcrl2 in main

---
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 Common Representation Language 2. C’est un langage de spécifications pouvant être utilisé pour
    spécifier et analyser le comportement de systèmes distribués et de protocoles, et est le successeur de muCRL. En utilisant
    sa boîte à outils, les systèmes peuvent être analysés et vérifiés automatiquement.</p>

    <p>Cette boîte à outils prend en charge une collection d’outils pour la linéarisation, la simulation, l’exploration et
    la génération de représentations d’états et des outils pour optimiser et analyser des spécifications. De plus, les représentations
    d’état peuvent être manipulées, visualisées et analysées.</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>
  da: >-
    <p>mCRL2 står for micro Common Representation Language 2. Det er et specifikationssprog, der kan bruges til at angive
    og analysere opførelsen for distribuerede systemer og protokoller og er efterfølgeren til muCRL. Med brug af det medfølgende
    værktøjssæt kan systemer analyseres og verificeres automatisk.</p>

    <p>Dette værktøjssæt understøtter en samling af værktøjer for linearisering, simulering, udforskning og oprettelse af
    state-space og værktøjer til optimering og analysespecifikationer. Desuden kan state-spaces manipuleres, visualiseres
    og analyseres.</p>
  it: >-
    <p>mCRL2 è l&apos;acronimo di micro Common Representation Language 2. È un linguaggio di specificazione che può essere
    usato per specificare e analizzare il comportamento di sistemi distribuiti e protocolli ed è il successore di muCRL. Usando
    l&apos;insieme di strumenti che lo accompagna, i sistemi possono essere analizzati e verificati automaticamente.</p>

    <p>Questo insieme di strumenti gestisce una raccolta di strumenti per linearizzazione, simulazione, esplorazione dello
    spazio degli stati e generazione, e strumenti per ottimizzare e analizzare specificazioni. Inoltre, gli spazi degli stati
    possono essere manipolati, visualizzati e analizzati.</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>
Categories:
- Education
- Science
Icon:
  cached:
  - name: mcrl2_mcrl2-green.png
    width: 48
    height: 48
  - name: mcrl2_mcrl2-green.png
    width: 64
    height: 64
  - name: mcrl2_mcrl2-green.png
    width: 128
    height: 128
  stock: mcrl2-green
  remote:
  - url: m/mc/mcrl2-gui.desktop/96EE79419E4898B108323C37607370F0/icons/128x128/mcrl2_mcrl2-green.png
    width: 128
    height: 128
Launchable:
  desktop-id:
  - mcrl2-gui.desktop