2

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?

Niklas Rosencrantz
  • 25,640
  • 75
  • 229
  • 424
Fred
  • 45
  • 4

1 Answers1

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.

Patrick Trentin
  • 7,126
  • 3
  • 23
  • 40
  • Thanks a lot. It worked with some difficulties in finding the required libraries like nusmv.dll on https://code.google.com/archive/a/eclipselabs.org/p/nusmv-tools/source/default/source. – Fred Jun 01 '16 at 20:12
  • @Fred I guess one could just get the dll from the official NuSMV site, am I wrong? – Patrick Trentin Jun 01 '16 at 20:14
  • I couldn't find it on their website. Moreover, you also need libnusmv.so and libnusmv.jnilib files. – Fred Jun 03 '16 at 12:52