Wintersemester 2008/2009
Grundstudium/BSc Inf:
- Lecture Berechenbarkeit und Komplexität (Katoen)
- Proseminar Berüchtigte Fehler in Softwaresystemen
Hauptstudium:
- Lecture Introduction to Model Checking (Katoen)
- Lecture Semantics and Verification of Software (Noll)
- Lecture SatisfiabilityChecking (Abraham)
- Seminar Timed Automata
Misc:
See also:
Teaching-related pages in the Campus-System for
