0

如何从 Java 访问NuSMV作为模型检查器？
我想使用库来调用 NuSMV 并读取 .smv 文件，检查LTLSPEC并返回满意消息或反例作为结果。
我找到了 nusmv-tools，它是一个基于 Eclipse 的 API。由于我与 IntelliJ 合作，我无法得到答案。我更喜欢一个不依赖于任何 IDE 的库。

谢谢你。

4

0 回答 0