nusmv

1Hitze

1Antwort

Ausführen von NuSMV auf dem Mac

Ich habe den NuSMV-Quellcode für Mac heruntergeladen und mit der README-Installation begonnen. Es gibt jedoch einen Schritt, der mich auffordert, mit 'cmake ..' zu erstellen, wenn ich das ausführe, be

macos cmake model-checking nusmv 2016-04-15

---

0Hitze

1Antwort

Lauf NuSMV auf OSX

Ich habe installiert NuSMV die readme bereitgestellt verwenden, aber wenn ich versuche, den NuSMV Befehl zu verwenden, erhalte ich die folgende Meldung: -bash: NuSMV: Befehl nicht gefunden gibt es nic

bash macos model-checking nusmv 2016-04-16

---

0Hitze

2Antwort

Automat in NuSMV

Ich bin neu in NuSMV, ich versuche, Vending Machine Implementierung von Kripke Struktur zu schaffen, ich habe drei boolean (Münze, Auswahl, brauen) sowie drei states.However, Wenn ich den Code, den ic

model-checking nusmv 2016-05-08

---

2Hitze

1Antwort

Überprüfen Dekker mutual exclusion Algorithmus von NuSMV

I NuSMV verwenden, um den Dekker-Algorithmus, um zu überprüfen, und mein Code wie folgt: MODULE main VAR b1 : {true, false}; b2 : {true, false}; k : {1, 2}; pr1 : process proc(k, b1, b2, 1); pr2

algorithm verification mutual-exclusion model-checking nusmv 2016-05-09

---

1Hitze

1Antwort

Umwandlung eines Systemmodells in ein Übergangssystem zur Modellprüfung

Momentan versuche ich, einen Systemprototyp in das Übergangssystemmodell zu konvertieren. Ich habe einige LTL-Eigenschaften und ich möchte diese Eigenschaften mit Model-Check-Tool NuSMV überprüfen. Ic

fsm model-checking nusmv transition-systems 2016-07-13

---

1Hitze

1Antwort

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. Die einzige, die ich gefunden habe, ist unter here zur Ver

java model-checking nusmv 2016-05-30

---