Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
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