Thomas A. Henzinger, Zohar Manna, Amir Pnueli  Home/Search
Context Related
| stanford.edu/pub/amir/popl91.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: stanford.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We extend the specification language of temporal logic, the corresponding verification framework, and the underlying computational model to deal with real-time properties of concurrent and reactive systems. A global, discrete, and asynchronous clock is incorporated into the model by defining the abstract notion of a real-time transition system as a conservative extension of traditional transition systems: qualitative fairness requirements are replaced (and superseded) by quantitative... (Update)
Context of citations to this paper: More
.... calculation of the language generated by a timed system is proven to be PSPACE complete and in practice highly complex in most contexts [1, 7]. To overcome this complexity, 13] avoids calculating the exact timed state space by building conservative approximations of in an...
Cited by: More
A case study for the verification of complex timed circuits.. - Marco Pena And (Correct)
An Implementable Formal Language for Hard Real-Time Systems - Bradley (1995) (Correct)
Verification Methods for the Divergent Runs Of Clock Systems - A.Henzinger, W.Kopke (1994) (Correct)
Similar documents (at the sentence level):
34.3%: An Interleaving Model for Real Time - Henzinger, Manna, Pnueli (1990) (Correct)
17.6%: Temporal Proof Methodologies for Timed Transition Systems - Henzinger, Manna, Pnueli (1994) (Correct)
Active bibliography (related documents): More All
0.8: Logics and Models of Real Time: A Survey - Alur, Henzinger (1992) (Correct)
0.3: Timed Transition Systems - Thomas Henzinger (1992) (Correct)
0.2: Compositional Inductive Verification of Duration Properties of .. - Liu, Ravn, Li (1997) (Correct)
Similar documents based on text: More All
0.5: Deductive Modelchecking - Sipma (1999) (Correct)
0.2: Verification of Parameterized Programs - Manna, Pnueli (1995) (Correct)
0.2: Deriving Liveness Goals from Temporal Logic Specifications - Caleiro, Saake, Sernadas (1996) (Correct)
Related documents from co-citation: More All
24: Temporal Logic for Real-Time Systems (context) - Ostroff - 1989
23: Automata for modeling real-time systems (context) - Alur, Dill - 1990
20: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
BibTeX entry: (Update)
T. A. Henzinger, Z. Manna, and A. Pnueli,"Temporal Proof Methodologies for Real-Time Systems," in Proceedings of the 18th ACM Symposium on Principles of Programming Languages, 1991, pp. 353--366. http://citeseer.ist.psu.edu/henzinger91temporal.html More
@inproceedings{ henzinger91temporal,
author = "Thomas A. Henzinger and Zohar Manna and Amir Pnueli",
title = "Temporal Proof Methodologies for Real-time Systems",
booktitle = "Conference Record of the Eighteenth Annual {ACM} Symposium on Principles of Programming Languages",
address = "Orlando, Florida",
pages = "353--366",
year = "1991",
url = "citeseer.ist.psu.edu/henzinger91temporal.html" }
Citations (may not include all citations):147 Real-time logics: complexity and expressiveness - Alur, Henzinger - 1990
118 Temporal Logic for Real-time Systems (context) - Ostroff - 1989
104 Proving liveness properties of concurrent programs (context) - Owicki, Lamport - 1982
92 Quantitative temporal reasoning (context) - Emerson, Mok et al. - 1989
90 Specifying Message Passing and Time-critical Systems with Te.. (context) - Koymans - 1989
68 The anchored version of the temporal framework - Manna, Pnueli - 1989
41 Applications of temporal logic to the specification of real-.. (context) - Pnueli, Harel - 1988
40 Real-time programming and asynchronous message passing (context) - Koymans, Vytopil et al. - 1983
39 Completing the temporal picture - Manna, Pnueli - 1989
9 An interleaving model for real time - Henzinger, Manna et al. - 1990
7 Temporal Analysis of Real-time Systems (context) - Harel - 1988
5 Rendezvous with Ada --- a proof-theoretical view (context) - Pnueli, de Roever - 1982
3 Temporal Verification of Communication Protocols (context) - Ron - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/theory.stanford.edu.html): More
Partial Orderings of Event Sets and Their.. - Luckham, Vera.. (1992) (Correct)
Classes = Objects + Data Abstraction - Fisher (Correct)
An Efficient System For Geometric Assembly.. - Romney, Godard.. (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