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

Question

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

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

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

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

2

java model-checking nusmv

Источник

user6401515 30 май '16 в 18:14

1 ответ

Решение

Другие вопросы по тегам java model-checking nusmv

user6024122 31 май '16 в 07:09 2016-05-31 07:09 · Accepted Answer · 2016-05-31 07:09

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

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

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

1

Источник

user6024122 31 май '16 в 07:09