Datei:TU Wien-Formale Methoden der Informatik VU (Egly) - Lösungen CTL einiger Prüfungen SS09.txt

Aus VoWi
Zur Navigation springen Zur Suche springen

Warnung: Dieser Dateityp kann böswilligen Programmcode enthalten. Durch das Herunterladen und Öffnen der Datei kann dein Computer beschädigt werden.

Kann mit SMV getestet werden. Wer nur die Ergebnisse will findet diese in der Datei in folgendem Format: --Formel --Zustand Wahrheitswert Bsp: --EX EX q --s0 true

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomMaßeBenutzerKommentar
aktuell10:13, 14. Jul. 2009 (1.003 Bytes)Jperl (Diskussion | Beiträge)Kann mit SMV getestet werden. Wer nur die Ergebnisse will findet diese in der Datei in folgendem Format: --Formel --Zustand Wahrheitswert Bsp: --EX EX q --s0 true <!-- Don't edit below this line! --> TU Wien:Formale Methoden der Informatik VU (Egly)

Die folgende Seite verwendet diese Datei: