Logics and models of real time: A survey

R. Alur, T.A. Henzinger, in:, Real Time: Theory in Practice, Springer, 1992, pp. 74–106.

Download
No fulltext has been uploaded. References only!

Book Chapter | Published
Author
Series Title
LNCS
Abstract
We survey logic-based and automata-based languages and techniques for the specification and verification of real-time systems. In particular, we discuss three syntactic extensions of temporal logic: time-bounded operators, freeze quantification, and time variables. We also discuss the extension of finite-state machines with clocks and the extension of transition systems with time bounds on the transitions. All of the resulting notations can be interpreted over a variety of different models of time and computation, including linear and branching time, interleaving and true concurrency, discrete and continuous time. For each choice of syntax and semantics, we summarize the results that are known about expressive power, algorithmic finite-state verification, and deductive verification.
Publishing Year
Date Published
1992-01-01
Book Title
Real Time: Theory in Practice
Volume
600
Page
74 - 106
IST-REx-ID

Cite this

Alur R, Henzinger TA. Logics and models of real time: A survey. In: Real Time: Theory in Practice. Vol 600. Springer; 1992:74-106. doi:10.1007/BFb0031984
Alur, R., & Henzinger, T. A. (1992). Logics and models of real time: A survey. In Real Time: Theory in Practice (Vol. 600, pp. 74–106). Springer. https://doi.org/10.1007/BFb0031984
Alur, Rajeev, and Thomas A Henzinger. “Logics and Models of Real Time: A Survey.” In Real Time: Theory in Practice, 600:74–106. Springer, 1992. https://doi.org/10.1007/BFb0031984.
R. Alur and T. A. Henzinger, “Logics and models of real time: A survey,” in Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 74–106.
Alur R, Henzinger TA. 1992. Logics and models of real time: A survey. Real Time: Theory in Practice. , LNCS, vol. 600. 74–106.
Alur, Rajeev, and Thomas A. Henzinger. “Logics and Models of Real Time: A Survey.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 74–106, doi:10.1007/BFb0031984.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar