Mit NuSMV als Model Checker in Java

Ich versuche, NuSMV als Model Checker in Java zu verwenden. Ich bin jedoch nicht in der Lage, die zugehörige JAR-Bibliothek online zu finden.Mit NuSMV als Model Checker in Java

Die einzige, die ich gefunden habe, ist unter here zur Verfügung gestellt, für die der Download-Link nicht mehr funktioniert. Anscheinend existiert die Bibliothek, aber die Zugriffsverbindung funktioniert nicht.

Weiß jemand wie ich auf NuSMV Java API-Bibliothek zugreifen kann oder alternative Wege kenne?

Quelle

2016-05-30 Fred

Hier ist ein Arbeits Download-Link von NuSMV-Tool, das vom gleichen Autor ist und beinhaltet das Java Front-End Sie sprechen:

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

habe ich nicht getestet die Bibliothek aus, ich habe gerade überprüft, dass es heruntergeladen wird.

Quelle

2016-05-31 07:09:18

Vielen Dank. Es funktionierte mit einigen Schwierigkeiten bei der Suche nach den erforderlichen Bibliotheken wie nusmv.dll unter https://code.google.com/archive/a/eclisellabs.org/p/nusmv-tools/source/default/source. – Fred

@Fred Ich denke, man könnte nur die DLL von der offiziellen NuSMV-Seite bekommen, liege ich falsch? –

Ich konnte es nicht auf ihrer Website finden. Darüber hinaus benötigen Sie auch die Dateien libnusmv.so und libnusmv.jnilib. – Fred

Mit NuSMV als Model Checker in Java

Antwort

Verwandte Themen