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

Question

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

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

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

Answer 1

这是来自同一作者的nusmv-tools的有效下载链接，其中包括您正在谈论的Java前端：

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

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