[ buster ]
[ 源代码： mcrl2 ]
软件包：mcrl2（201409.0-1 以及其他的）
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.
其他与 mcrl2 有关的软件包
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.3) [i386]
- dep: libc6 (>= 2.4) [armhf]
-
- dep: libgcc1 (>= 1:3.0) [arm64]
- GCC 支持库
- dep: libgcc1 (>= 1:3.4) [amd64, i386]
- dep: libgcc1 (>= 1:3.5) [armhf]
-
- dep: libgl1
- 发行方中立的 GL 调度库 -- 过时的 GL 支持
-
- dep: libgl2ps1.4
- Lib providing high quality vector output for OpenGL application
-
- dep: libglu1-mesa
- Mesa OpenGL utility library (GLU)
- 或者 libglu1
- 本虚包由这些包填实： 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 标准 C++ 库，第3版