在 java 中使用 NuSMV 作为模型检查器

Question

我正在尝试使用 NuSMV 作为 java 中的模型检查器。但是，我无法在线找到相关的 JAR 库。

我找到的唯一一个是在 here 上提供的，link 不再提供下载。显然，图书馆存在，但访问 link 无效。

有谁知道我如何访问 NuSMV java API 库或知道任何替代方法？

Answer 1

这是来自同一作者的 nusmv-tools 的有效下载 link，其中包括 Java 你说的前端：

https://code.google.com/archive/a/eclipselabs.org/p/nusmv-tools/downloads

我还没有测试这个库，我只是验证它可以下载。