Package: mcrl2 (201409.0-1 and others)
Links for mcrl2
Debian Resources:
Download Source Package mcrl2:
Maintainers:
External Resources:
- Homepage [www.mcrl2.org]
Similar packages:
Værktøjssæt til formelt specifikationssprog
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.
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.
Other Packages Related to mcrl2
|
|
|
|
-
- dep: libc6 (>= 2.14)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:3.4)
- GCC støttebibliotek
-
- dep: libgl1
- Leverandørneutralt GL-afsendelsesbibliotek - forældet GL-understøttelse
-
- dep: libgl2ps1.4
- Lib providing high quality vector output for OpenGL application
-
- dep: libglu1-mesa
- Mesa OpenGL-redskabsbibliotek - GLU
- or libglu1
- virtual package provided by libglu1-mesa
-
- dep: libqt4-opengl (>= 4:4.5.3)
- Qt 4 OpenGL-modul
-
- dep: libqt4-xml (>= 4:4.5.3)
- Qt 4 XMl-modul
-
- dep: libqtcore4 (>= 4:4.8.0)
- Qt 4-kernemodul
-
- dep: libqtgui4 (>= 4:4.8.0)
- Qt 4-modul til grafisk brugerflade
-
- dep: libstdc++6 (>= 5.2)
- GNU Standard C++ bibliotek v3
Download mcrl2
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 201409.0-1+b2 | 7,302.5 kB | 41,872.0 kB | [list of files] |