Employing NuSMV as a model checker in java

和自甴很熟 提交于 2019-12-12 18:00:28

问题


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.

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


回答1:


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.



来源:https://stackoverflow.com/questions/37531574/employing-nusmv-as-a-model-checker-in-java

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!