Suchergebnisse für Anfrage "promela"
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 ...