[ etiona ]
[ Paquet source : mcrl2 ]
Paquet : mcrl2 (201409.0-1ubuntu3)
Liens pour mcrl2
Ressources Trisquel :
Télécharger le paquet source mcrl2 :
Responsable :
Original Maintainers:
- Sjoerd Cranen
- Paul van Tilburg
Ressources externes :
- Page d'accueil [www.mcrl2.org]
Paquets similaires :
formal specification language toolset
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.
Autres paquets associés à mcrl2
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.4) [i386]
-
- dep: libgcc1 (>= 1:3.4)
- GCC support library
-
- dep: libgl1-mesa-glx
- transitional dummy package
- ou libgl1
- Vendor neutral GL dispatch library -- legacy GL support
-
- dep: libgl2ps1.4
- Lib providing high quality vector output for OpenGL application
-
- dep: libglu1-mesa
- Mesa OpenGL utility library (GLU)
- ou libglu1
- paquet virtuel fourni par libglu1-mesa
-
- dep: libqt4-opengl (>= 4:4.5.3)
- Qt 4 OpenGL module
-
- dep: libqt4-xml (>= 4:4.5.3)
- Qt 4 XML module
-
- dep: libqtcore4 (>= 4:4.8.0)
- Qt 4 core module
-
- dep: libqtgui4 (>= 4:4.8.0)
- Qt 4 GUI module
-
- dep: libstdc++6 (>= 5.2)
- GNU Standard C++ Library v3
Télécharger mcrl2
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 7 366,7 ko | 42561 ko | [liste des fichiers] |
| i386 | 7 712,5 ko | 42914 ko | [liste des fichiers] |