[ 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)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgcc1 (>= 1:3.4)
- GCC 共有ライブラリ
-
- dep: libgl1
- ベンダー中立な GL ディスパッチライブラリ -- 旧式 GL サポート
-
- dep: libgl2ps1.4
- Lib providing high quality vector output for OpenGL application
-
- dep: libglu1-mesa
- Mesa OpenGL ユーティリティライブラリ (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 モジュール
-
- dep: libqtcore4 (>= 4:4.8.0)
- Qt 4 コアモジュール
-
- dep: libqtgui4 (>= 4:4.8.0)
- Qt 4 GUI モジュール
-
- dep: libstdc++6 (>= 5.2)
- GNU 標準 C++ ライブラリ v3