[ buster ]
[ Zdroj: mcrl2 ]
Balík: mcrl2 (201409.0-1 a iné)
Odkazy pre mcrl2
Zdroje Debian:
Stiahnuť zdrojový balík mcrl2:
Správcovia:
Externé zdroje:
- Domovská stránka [www.mcrl2.org]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom mcrl2
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.3) [i386]
- dep: libc6 (>= 2.4) [armhf]
-
- dep: libgcc1 (>= 1:3.0) [arm64]
- podporná knižnica GCC
- dep: libgcc1 (>= 1:3.4) [amd64, i386]
- dep: libgcc1 (>= 1:3.5) [armhf]
-
- dep: libgl1
- knižnica dispečera GL nezávislá od dodávateľa - podpora spätnej kompatibility s GL
-
- dep: libgl2ps1.4
- Lib providing high quality vector output for OpenGL application
-
- dep: libglu1-mesa
- OpenGL knižnica Mesa - GLU
- alebo libglu1
- virtuálny balík poskytovaný balíkom libglu1-mesa
-
- dep: libqt4-opengl (>= 4:4.5.3)
- modul OpenGL Qt 4
-
- dep: libqt4-xml (>= 4:4.5.3)
- Qt 4 - modul XML
-
- dep: libqtcore4 (>= 4:4.8.0)
- Qt 4 - základný modul
-
- dep: libqtgui4 (>= 4:4.8.0)
- modul grafického používateľského rozhrania Qt 4
-
- dep: libstdc++6 (>= 5.2)
- štandardná knižnica C++ GNU v3
Stiahnuť mcrl2
| Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|---|
| amd64 | 201409.0-1+b2 | 7,302.5 kB | 41,872.0 kB | [zoznam súborov] |
| arm64 | 201409.0-1+b2 | 6,638.1 kB | 40,384.0 kB | [zoznam súborov] |
| armhf | 201409.0-1+b2 | 6,137.8 kB | 28,190.0 kB | [zoznam súborov] |
| i386 | 201409.0-1+b2 | 7,580.3 kB | 42,003.0 kB | [zoznam súborov] |