Anwendung formaler Methoden in der Entwicklung eingebetteter Systeme:
formale Modelle,
hybride Systeme,
Verifikation,
Model Checking.
Die Vorlesung wird in Deutsch gehalten.
Vorlesung
Die Vorlesung findet donnerstags von 10:00 - 11:30 im AH 1 statt.
Dokumente
| Termin
=== Literatur ===
D. Peled: Software Reliability Methods. Springer, 2001.
E. Clarke, O. Grumberg, D. Peled: Modelchecking. MIT Press, 2001.
B. Berard, M. Bidoit, A. Finkel: Systems and Software Verification. Springer, 2001
W. Ehrenberger: Software-Verifikation. Hanser, 2002.
=== Übung ===
Die Übung findet für jede Gruppe jeweils alle vierzehn Tage mittwochs 15:15 - 16:45 im AH 3 statt. Die voraussichtlichen Termine sind unten aufgeführt. Die Übungen werden zum Teil thematisch aufeinander aufbauen. Aus diesem Grund ist es sinnvoll, an allen Übungsterminen aktiv teilzunehmen.
Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information