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