| Paketname | mcrl2 |
| Beschreibung | the mCRL2 formal specification language toolset |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 201007~rc1-1 |
| Sektion | math |
| Priorität | extra |
| Installierte Größe | 42036 Byte |
| Hängt ab von | libboost-filesystem1.42.0 (>= 1.42.0-1), libboost-signals1.42.0 (>= 1.42.0-1), libboost-system1.42.0 |
| Empfohlene Pakete | |
| Paketbetreuer | Paul van Tilburg |
| Quelle | |
| Paketgröße | 14092800 Byte |
| Prüfsumme MD5 | bd75372d628361589a1e8bffbf2501a2 |
| Prüfsumme SHA1 | 266063e1d627a5ef516886a1f67f55a06dab2c0e |
| Prüfsumme SHA256 | 805223ce76f2e470ba0e224e3aa72d8c8d57886723d8d631750fd546ad47f274 |
| Link zum Herunterladen | mcrl2_201007~rc1-1_i386.deb |
| Ausführliche Beschreibung | 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.
.
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.
|