Temporal Logics for Real-Time System Specification

Art der Arbeit:
Ansprechpartner: Leonie Köhler, geb. Ahrendts
Status der Arbeit: offen

The specification of real-time systems is often supported by formal methods. Temporal logics allow the specification of system behavior in terms of logical formulars.

In this seminar talk, the principles of temporal logics and criteria for assessing the capabilities of temporal logics will be presented

Literatur/Dokumentation

  • [1] P. Bellini et al.: "Temporal logics for the real-time system specification." ACM Computing Surveys (CSUR) 32.1 (2000): 12-42.
Instituts-Anschrift:
Hans-Sommer-Straße 66
38106 Braunschweig
Fon: (0531) 391-3734
Fax: (0531) 391-4587

Sprechzeiten:
Mo: 
10:15-11:30
und 14:00-15:00
Di: 
10:15-11:30
und 14:00-15:00
Mi: 
14:00-15:00
Do: 
10:15-11:30
und 14:00-15:00
Fr: 
10:15-11:30
und 14:00-15:00
sekretariat(at)ida.ing.tu-bs.de

Anschrift AG Prof. Jukan:

Hans-Sommer-Straße 66
38106 Braunschweig

Fon: (0531) 391-5286
Fax: (0531) 391-5296