Suchergebnisse für Anfrage "model-checking"
Wie vergleiche ich zwei LTLs?
Wie kann ich zwei LTLs vergleichen, um festzustellen, ob sich eine widersprechen kann? Ich frage dies, weil ich eine hierarchische Zustandsmaschine und LTLs habe, die das Verhalten in jedem Zustand beschreiben. Ich muss wissen, ob eine lokale LTL ...
Wie verwandle ich LTL in Promela in Automato - SPIN?
Wie kann ich LTL in Automaten in PROMELA umwandeln? Ich weiß, dass es mit dem Befehl SPIN -f "ltl x" möglich ist, die LTL in eine Never Claim zu transformieren, aber ich möchte die Automaten der LTL und nicht die Negation. Es ist richtig, wenn ...
implementiere symbolische Ausführung ohne Modellprüfung
Wie kann ich implementierensymbolic execution zumparticular language ohne zu benutzenmodel checking undFinite State Machine (FSM) zum Beispielnot sowieJava Path Finder? Ich brauche ein Detail darüber. Zum Beispiel durch welche Sprache kann ich ...