Materialien
Vorlesungsmaterial
Verifikation eingebetteter Systeme - Wintersemester 2012/13
Material
ILIAS
| Evaluation | ||
Vorlesungsfolien
| Kap. 01: Einführung | ||
| Kap. 02: BDDs | ||
| Kap. 03 SAT | ||
| Kap. 04: AIGs | ||
| Kap. 05: Struktureller Äquivalenzvergleich | ||
| Kap. 06: Äquivalenzvergleich für sequentielle Schaltungen | ||
| Kap. 07: Eigenschaftsprüfung | ||
| Kap. 08: Prüfung von LTL-Eigenschaften | ||
| Kap. 09 - Prüfung von CTL*-Eigenschaften | ||
| Kap. 10: Äquivalenzrelationen auf Kripke-Strukturen | ||
| Kap. 11: SAT-based Bounded Model Checking | ||
| Kap. 12: QBF Logic | ||
| Kap. 13: Black Box BMC | ||
Übungsblätter
| Ãœbungsblatt 1 | ||
| Ãœbungsblatt 2 | ||
| Ãœbungsblatt 3 | ||
| Ãœbungsblatt 4 | ||
| Ãœbungsblatt 5 | ||
| Ãœbungsblatt 6 | ||