Employing NuSMV as a model checker in java

问题:

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.