Использование NuSMV в качестве средства проверки модели в java

Я пытаюсь использовать NuSMV в качестве средства проверки модели в java. Однако я не могу найти соответствующую библиотеку JAR в Интернете.

Единственное, что я нашел, находится на здесь для которого ссылка на скачивание больше не работает. Судя по всему, библиотека существует, но ссылка доступа не работает.

Кто-нибудь знает, как я могу получить доступ к java API-библиотеке NuSMV или знает какой-либо альтернативный способ?


java model-checking nusmv
person Fred    schedule 30.05.2016    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Вот рабочая ссылка для скачивания nusmv-tools от того же автора и включает интерфейс Java, о котором вы говорили:

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

Я не проверял библиотеку, я просто проверил, что она загружается.

person Patrick Trentin    schedule 31.05.2016
comment
Большое спасибо. Были трудности с поиском необходимых библиотек, таких как nusmv.dll, на code.google.com/archive/a/eclipselabs.org/p/nusmv-tools/source/. - person Fred; 01.06.2016
comment
@Fred Я думаю, можно просто получить dll с официального сайта NuSMV, я ошибаюсь? - person Patrick Trentin; 01.06.2016
comment
Я не смог найти его на их сайте. Кроме того, вам также понадобятся файлы libnusmv.so и libnusmv.jnilib. - person Fred; 03.06.2016