[ 源代码： mona ]
软件包：mona（1.4-17-1 以及其他的）
theorem prover based on automata
MONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counter-example.
Documentation is available from the MONA website http://www.brics.dk/mona/.
其他与 mona 有关的软件包
|
|
|
|
-
- dep: libc6 (>= 2.17)
- GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- GCC 支持库
-
- dep: libstdc++6 (>= 5)
- GNU 标准 C++ 库，第3版
-
- rec: graphviz
- rich set of graph drawing tools