| | Matrikel
=== Inhalt ===
Anwendung formaler Methoden in der Entwicklung eingebetteter Systeme:
Die Vorlesung wird auf Englisch gehalten.
=== Literatur ===
D. Peled: Software Reliability Methods. Springer, 2001.
E. Clarke, O. Grumberg, D. Peled: Model Checking. MIT Press, 2001.
B. Berard, M. Bidoit, A. Finkel: Systems and Software Verification. Springer, 2001
W. Ehrenberger: Software-Verifikation. Hanser, 2002.
=== Termine ===
Vorlesung: Dienstag 15:45 - 17:15, AH 6 (wöchentlich ab 08.04.2008) und Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 10.04.2008)
Übung: Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 17.04.2008)
Änderungen werden im Campus System und im L2P Lernraum bekannt gegeben.
=== Übung ===
Um den Übungsschein zu erwerben
dürfen Sie maximal einen Übungstermin entschuldigt versäumen,
müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren
und müssen die Klausur bestehen
=== Kontakt ===
|