在Java中使用NuSMV作为模型检查器 [英] Employing NuSMV as a model checker in java

问题描述

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

I'm trying to use NuSMV as a model checker in java. However, I'm not able to find the related JAR library online.

我找到的唯一一个文件位于此处，其下载链接不再起作用.显然，该库存在，但是访问链接不起作用.

The only one I've found is provided on here for which the download link doesn't work anymore. Apparently, the library exists but the access link is not working.

有人知道我如何访问NuSMV Java API库或任何其他替代方法吗?

Does anyone know how I can access NuSMV java API library or know of any alternative way?

推荐答案

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

Here is a working download link of nusmv-tools which is from the same author and includes the Java front-end you were talking about:

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

我还没有测试过库，我只是验证了它已下载.

I haven't tested the library out, I just verified that it downloads.

这篇关于在Java中使用NuSMV作为模型检查器的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！