--- _id: '4593' abstract: - lang: eng text: '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.' alternative_title: - LNCS article_processing_charge: No author: - first_name: Rajeev full_name: Alur, Rajeev last_name: Alur - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 citation: ama: 'Alur R, Henzinger TA. Logics and models of real time: A survey. In: REX Workshop on Real Time: Theory in Practice. Vol 600. Springer; 1992:74-106. doi:10.1007/BFb0031984' apa: 'Alur, R., & Henzinger, T. A. (1992). Logics and models of real time: A survey. In REX Workshop on Real Time: Theory in Practice (Vol. 600, pp. 74–106). Mook, The Netherlands: Springer. https://doi.org/10.1007/BFb0031984' chicago: 'Alur, Rajeev, and Thomas A Henzinger. “Logics and Models of Real Time: A Survey.” In REX Workshop on Real Time: Theory in Practice, 600:74–106. Springer, 1992. https://doi.org/10.1007/BFb0031984.' ieee: 'R. Alur and T. A. Henzinger, “Logics and models of real time: A survey,” in REX Workshop on Real Time: Theory in Practice, Mook, The Netherlands, 1992, vol. 600, pp. 74–106.' ista: 'Alur R, Henzinger TA. 1992. Logics and models of real time: A survey. REX Workshop on Real Time: Theory in Practice. Workshop/School/Symposium of the REX Project, LNCS, vol. 600, 74–106.' mla: 'Alur, Rajeev, and Thomas A. Henzinger. “Logics and Models of Real Time: A Survey.” REX Workshop on Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 74–106, doi:10.1007/BFb0031984.' short: 'R. Alur, T.A. Henzinger, in:, REX Workshop on Real Time: Theory in Practice, Springer, 1992, pp. 74–106.' conference: end_date: 1991-06-07 location: Mook, The Netherlands name: Workshop/School/Symposium of the REX Project start_date: 1991-06-03 date_created: 2018-12-11T12:09:39Z date_published: 1992-01-01T00:00:00Z date_updated: 2022-03-07T10:20:06Z day: '01' doi: 10.1007/BFb0031984 extern: '1' intvolume: ' 600' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/BFb0031988#enumeration month: '01' oa_version: None page: 74 - 106 publication: 'REX Workshop on Real Time: Theory in Practice' publication_status: published publisher: Springer publist_id: '114' quality_controlled: '1' scopus_import: '1' status: public title: 'Logics and models of real time: A survey' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 600 year: '1992' ...