[ 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
- 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)
- 或者 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 Standard C++ Library v3