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

【问题标题】：Employing NuSMV as a model checker in java在 java 中使用 NuSMV 作为模型检查器
【发布时间】：2016-05-30 18:14:23
【问题描述】：

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

我在here 上找到的唯一一个下载链接不再有效。显然，该库存在，但访问链接不起作用。

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

【问题讨论】：

【解决方案1】：

这是 nusmv-tools 的有效下载链接，该链接来自同一作者，包含您所讨论的 Java 前端：

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

【讨论】：

非常感谢。在code.google.com/archive/a/eclipselabs.org/p/nusmv-tools/source/… 上找到所需的库（如 nusmv.dll）时遇到了一些困难。
@Fred 我想可以从 NuSMV 官方网站获取 dll，我错了吗？
我在他们的网站上找不到。此外，您还需要 libnusmv.so 和 libnusmv.jnilib 文件。