Datei:TU Wien-Formale Methoden der Informatik VU (Egly) - Lösungen CTL einiger Prüfungen SS09.txt
Jump to navigation
Jump to search
TU_Wien-Formale_Methoden_der_Informatik_VU_(Egly)_-_Lösungen_CTL_einiger_Prüfungen_SS09.txt (file size: 1,003 bytes, MIME type: text/plain)
Warning: This file type may contain malicious code. By executing it, your system may be compromised.
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
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 11:13, 14 July 2009 | (1,003 bytes) | Jperl (talk | contribs) | 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) |
File usage
The following page uses this file: