[ 源代码： mona ]
软件包：mona（1.4-18-1 以及其他的）
基于自动机的定理证明器
MONA 是一个工具，用于将 WS1S 或 WS2S 逻辑中的公式转换为由 BDD 表示的有限状态自动机。该类公式可用于表达搜索模式、反应式系统的时序属性、解析树约束等。MONA 还会分析编译后生成的自动机，判断公式是否成立；如果公式不成立，它将生成一个反例。
相关文档可在 MONA 官网获取：http://www.brics.dk/mona/ .
其他与 mona 有关的软件包
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- GCC 支持库
-
- dep: libstdc++6 (>= 11)
- GNU 标准 C++ 库，第3版
-
- rec: graphviz
- rich set of graph drawing tools