在 java 中使用 NuSMV 作为模型检查器
Employing NuSMV as a model checker in java
我正在尝试使用 NuSMV 作为 java 中的模型检查器。但是,我无法在线找到相关的 JAR 库。
我找到的唯一一个是在 here 上提供的,link 不再提供下载。显然,图书馆存在,但访问 link 无效。
有谁知道我如何访问 NuSMV java API 库或知道任何替代方法?
这是来自同一作者的 nusmv-tools 的有效下载 link,其中包括 Java 你说的前端:
https://code.google.com/archive/a/eclipselabs.org/p/nusmv-tools/downloads
我还没有测试这个库,我只是验证它可以下载。
我正在尝试使用 NuSMV 作为 java 中的模型检查器。但是,我无法在线找到相关的 JAR 库。
我找到的唯一一个是在 here 上提供的,link 不再提供下载。显然,图书馆存在,但访问 link 无效。
有谁知道我如何访问 NuSMV java API 库或知道任何替代方法?
这是来自同一作者的 nusmv-tools 的有效下载 link,其中包括 Java 你说的前端:
https://code.google.com/archive/a/eclipselabs.org/p/nusmv-tools/downloads
我还没有测试这个库,我只是验证它可以下载。