我想用模型检查器测试我的代码，并以自动方式从中制作 FSM。为此，我需要一个模型检查器并将 FSM 结果转换为 CNF。
任何建议我如何在 Python 中做到这一点？我只知道 CBMC，但这仅限于 C。
谢谢阿德里安
python fsm cnf
cnf ×1
fsm ×1
python ×1