---
_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'
...