Translations by sylvain
sylvain has submitted the following strings to this translation. Contributions are visually coded: currently used translations, unreviewed suggestions, rejected suggestions.
| 1 → 2 of 2 results | First • Previous • Next • Last |
| 56307. |
formal specification language toolset
|
|
| 2013-09-28 |
outils de spécification en langage formel
|
|
| 56308. |
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.
|
|
| 2013-09-28 |
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 d'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.
|
|
