Modellierung und Analyse von Echtzeitsystemen (WS 2005/06)

Hörerkreis: Vertiefungslinie
Informatik, Softwaretechnik

Vorlesung:
Mo 11:30-13:00
Raum V38.02

Übung:
Do 11:30-13:00 (14-tägig)
Raum 0.463

Literatur:

Die Vorlesung stützt sich im wesentlichen auf:

E. Clarke, O. Grumberg, D. Peled. Model Checking, MIT Press, 2000. (Kapitel 17)

R. Alur, C. Courcoubetis, D. Dill. Model-checking in dense real-time. Information and Computation, 104(1):35-77, 1993.

R. Alur, D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.

Weiterführende Literatur:

R. Alur, T. Feder, T. Henzinger. The benefits of relaxing punctuality. Journal of the ACM, 43(1):116-146, 1996

R. Alur, T. Henzinger, P.-H. Ho. Automatic Symbolic Verification of Embedded Systems. IEEE Transactions on Software Engineering, 22:181-201, 1996.