Datei:TU Wien-Formale Methoden der Informatik VU (Egly) - Lösungen CTL einiger Prüfungen SS09.txt
Zur Navigation springen
Zur Suche springen
TU_Wien-Formale_Methoden_der_Informatik_VU_(Egly)_-_Lösungen_CTL_einiger_Prüfungen_SS09.txt (Dateigröße: 1.003 Bytes, MIME-Typ: text/plain)
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
- angehängt an TU Wien:Formale Methoden der Informatik VU (Egly)
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
Version vom | Maße | Benutzer | Kommentar | |
---|---|---|---|---|
aktuell | 10: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) |
Dateiverwendung
Die folgende Seite verwendet diese Datei: