Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Verifikation eingebetteter Systeme - Wintersemester 2013/14
Material
Vorlesungsfolien
| Kap. 01 - Einführung | ||
| Kap. 02 - OBDDs | ||
| Kap. 03 - SAT | ||
| Kap. 04 - And-Inverter-Graphen | ||
| Kap. 05 - Strukturbasierte Methoden | ||
| Kap. 06 - Äquivalenzprüfung für sequentielle Schaltungen | ||
| Kap. 07 - Eigenschaftsprüfung für sequentielle Schaltungen | ||
| Kap. 08 - Äquivalenzrelationen auf Kripke-Strukturen | ||
| Kap. 09 - Bounded Model Checking | ||
| Kap. 10 - LTL Model Checking | ||
| Kap. 11 - CTL* | ||
| Kap. 12 - QBF | ||
| Kap. 13 - Unvollständige Schaltungen | ||
Übungsblätter
| Ãœbungsblatt 1 | ||
| Ãœbungsblatt 2 | ||
| Ãœbungsblatt 3 | ||
| Ãœbungsblatt 4 | ||
| Ãœbungsblatt 5 | ||
| Ãœbungsblatt 6 | ||