[ ソース: lbt ]
パッケージ: lbt (1.2.2-7)
LTL 論理式から Büchi オートマトンに変換
このソフトウェアは、線形時相論理 (ltl) 論理式を 汎用の Büchi オートマトンに変換します。出力されるオートマトンは、 例えば、モデルの検査に利用できるかもしれません。そのモデル検査では、 オートマトンはモデル (例: ペトリネット) から検証されるプロパティ を表します。
その他の lbt 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.7)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libstdc++6 (>= 5)
- GNU 標準 C++ ライブラリ v3
-
- rec: graphviz
- 豊富なグラフ描画ツールセット