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