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?
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