Rajeev Alur, Thomas A. Henzinger  Home/Search
Context Related
Links: ACM DBLP | upenn.edu/~alur/Focs89.ps.gz berkeley.edu/~tah/..._temporal_logic.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: upenn.edu/~alur/pub (more) From: berkeley.edu/~t..._temporal_logic (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We introduce a temporal logic for the specification of real-time systems. Our logic, TPTL, employs a novel quantifier construct for referencing time: the freeze quantifier binds a variable to the time of the local temporal context. TPTL is both a natural language for specification and a suitable formalism for verification. We present a tableau-based decision procedure and a model checking algorithm for TPTL. Several generalizations of TPTL are shown to be highly undecidable. 1 Introduction... (Update)
Cited by: More
On the freeze quantifier in constraint LTL: decidability.. - Demri, Lazic, Nowak (2005) (Correct)
Temporal Logics, Automata, and Classical Theories for.. - Henzinger Raskin And (Correct)
Binary Reachability Analysis of Discrete Pushdown.. - Dang, Ibarra, Bultan, .. (2000) (Correct)
Active bibliography (related documents): More All
1.1: Real-time Logics: Complexity and Expressiveness - Alur, Henzinger (1990) (Correct)
0.5: Logics and Models of Real Time: A Survey - Alur, Henzinger (1992) (Correct)
0.4: Temporal Proof Methodologies for Timed Transition Systems - Henzinger, Manna, Pnueli (1994) (Correct)
Similar documents based on text: More All
0.5: Half-order Modal Logic: How To Prove Real-time Properties - Thomas Henzinger Department (1990) (Correct)
0.3: Temporal Logic + Timed Automata: Expressiveness and.. - Bouajjani, Lakhnech (Correct)
0.3: Model Checking for Extended Timed Temporal Logics - Bouajjani, Lakhnech, Yovine (1996) (Correct)
Related documents from co-citation: More All
34: Logics and models of real time: a survey - Alur, Henzinger - 1992
32: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
31: Model-checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
BibTeX entry: (Update)
Alur, R. Henzinger, T.A.: A Really Temporal Logic, Proceedings of the Thirtieth Symposium on the Foundations of Computer Science, pages 164-169, 1989. http://citeseer.ist.psu.edu/alur89really.html More
@inproceedings{ alur89really,
author = "Rajeev Alur and Thomas A. Henzinger",
title = "A Really Temporal Logic",
booktitle = "{IEEE} Symposium on Foundations of Computer Science",
pages = "164-169",
year = "1989",
url = "citeseer.ist.psu.edu/alur89really.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
539 The temporal logic of programs (context) - Pnueli - 1977
299 Model checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
235 First-order Logic (context) - Smullyan - 1968
230 Checking that finite-state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1984
229 Theory of Recursive Functions and Effective Computability (context) - Rogers - 1967 ACM
222 The complexity of propositional linear temporal logics (context) - Sistla, Clarke - 1985 ACM DBLP
218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986 ACM DBLP
214 An old-fashioned recipe for real time - Lamport, Abadi - 1992 ACM DBLP
177 Temporal logic can be more expressive (context) - Wolper - 1983 DBLP
175 Logics and models of real time: a survey - Alur, Henzinger - 1992
172 A really temporal logic - Alur, Henzinger - 1989 ACM DBLP
163 the temporal analysis of fairness (context) - Gabbay, Pnueli et al. - 1980
147 Real-time logics: complexity and expressiveness - Alur, Henzinger - 1990 ACM DBLP
118 Temporal Logic of Real-time Systems (context) - Ostroff - 1990
116 Synthesis of communicating processes from temporal-logic spe.. (context) - Manna, Wolper - 1984
104 Proving liveness properties of concurrent programs (context) - Owicki, Lamport - 1982 ACM DBLP
88 The benefits of relaxing punctuality - Alur, Feder et al. - 1991 ACM DBLP
86 Specifying real-time properties with metric temporal logic (context) - Koymans - 1990
69 What good are digital clocks - Henzinger, Manna et al. - 1992
63 The temporal logic of branching time (context) - Ben-Ari, Manna et al. - 1981
58 Explicit-clock temporal logic (context) - Harel, Lichtenstein et al. - 1990
41 Applications of temporal logic to the specification of realt.. (context) - Pnueli, Harel - 1988
31 Proving real-time properties of programs with temporal logic (context) - Bernstein, Harter - 1981 ACM DBLP
31 The Temporal Specification and Verification of Real-time Sys.. (context) - Henzinger - 1991 ACM
28 A near-optimal method for reasoning about action (context) - Pratt - 1980 DBLP
20 Half-order modal logic: how to prove real-time properties - Henzinger - 1990 ACM DBLP
8 Propositional dynamic logic of regular programs (context) - Harel, Pnueli et al. - 1983 DBLP
7 Temporal analysis of real-time systems (context) - Harel - 1988
6 Presented at the First Annual Workshop on Computer-aided Ver.. (context) - Emerson, Mok et al. - 1989
4 Presburger arithmetic with unary predicates is \Pi 1 1 -comp.. - Halpern - 1991
2 Asynchronous propositional temporal logic (context) - Wang, Mok et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~alur/pub.html): More
Parametric Real-time Reasoning - Alur, Henzinger, Vardi (1993) (Correct)
Modularity for Timed and Hybrid Systems - Alur, Henzinger (1997) (Correct)
The Algorithmic Analysis of Hybrid Systems - Alur, Courcoubetis, Halbwachs.. (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC