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