Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
Materialien
Vorlesungsmaterial
Leistungsnachweis
Abschlusspruefung


Verifikation - Sommersemester 05

Material


Vorlesung

01. Vorlesungs-Folien: Introduction
02. Vorlesungs-Folien: BDDs
03. Vorlesungs-Folien: SAT solving
04. Vorlesungs-Folien: Equivalence checking
05. Vorlesungs-Folien: Logics
06. Vorlesungs-Folien: Model checking
07. Vorlesungs-Folien: Abstraction
08. Vorlesungs-Folien: Bisimulationen
09. Vorlesungs-Folien: Symmetry
10. Vorlesungs-Folien: Sequential Machines
11. Vorlesungs-Folien: Sequential Machines II
12.Vorlesungs-Folien: Symbolic Model Checking
13. Deduction
14. PVS


Übungsblätter

01. Uebungsblatt
02. Uebungsblatt
03. Uebungsblatt
04. Uebungsblatt
05. Uebungsblatt
06. Uebungsblatt
07. Uebungsblatt
08. Uebungsblatt
09. Uebungsblatt
10. Uebugsblatt
11. Uebungsblatt


Zusatzmaterial

BDD-Paket Cudd 2.4.0 fuer C/C++