Thomas A. Henzinger, Zohar Manna, Amir Pnueli  Home/Search
Context Related
| stanford.edu/pub/amir/digital.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: . Real-time systems operate in "real," continuous time and state changes may occur at any real-numbered time point. Yet many verification methods are based on the assumption that states are observed at integer time points only. What can we conclude if a real-time system has been shown "correct" for integral observations? Integer time verification techniques suffice if the problem of whether all real-numbered behaviors of a system satisfy a property can be reduced to the question of whether the... (Update)
Context of citations to this paper: More
.... themselves as a model of real time systems [5] results on dtas may give insights into corresponding properties of dense timed automata [11]. The study of safety properties and liveness properties is of course of the utmost importance for real life applications. In [10] as...
.... a model of real time systems [5] the results on discrete clocks may give insights into corresponding properties of dense time models [14, 21]. In this paper, we extend discrete timed automata to generalized discrete timed automata by allowing general linear relations over...
Cited by: More
Pushdown Timed Automata: a Binary Reachability Characterization.. - Dang (2003) (Correct)
Past Pushdown Timed Automata (Extended Abstract) - Dang, Bultan, Ibarra, Kemmerer (Correct)
Decidable Approximations on Generalized and Parameterized .. - Dang, Ibarra, Kemmerer (Correct)
Active bibliography (related documents): More All
1.1: What Good Are Digital Clocks? - Henzinger, Manna, Pnueli (1992) (Correct)
0.3: Logics and Models of Real Time: A Survey - Alur, Henzinger (1992) (Correct)
0.3: Temporal Proof Methodologies for Timed Transition Systems - Henzinger, Manna, Pnueli (1994) (Correct)
Similar documents based on text: More All
0.2: Deductive Modelchecking - Sipma (1999) (Correct)
0.1: Verification of Parameterized Programs - Manna, Pnueli (1995) (Correct)
0.1: Deriving Liveness Goals from Temporal Logic Specifications - Caleiro, Saake, Sernadas (1996) (Correct)
Related documents from co-citation: More All
7: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
6: From Timed Automata to Logic --- and Back - Laroussinie, Larsen et al. - 1995
6: A Really Temporal Logic - Alur, Henzinger - 1989
BibTeX entry: (Update)
T. Henzinger, Z. Manna, and A. Pnueli, "What Good are Digital Clocks?", Springer-Verlag, LNCS 623, 1992, pp. http://citeseer.ist.psu.edu/article/henzinger92what.html More
@inproceedings{ henzinger92what,
author = "Thomas A. Henzinger and Zohar Manna and Amir Pnueli",
title = "What Good Are Digital Clocks?",
booktitle = "Automata, Languages and Programming",
pages = "545-558",
year = "1992",
url = "citeseer.ist.psu.edu/article/henzinger92what.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
539 The temporal logic of programs (context) - Pnueli - 1977
218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
184 Automata for modeling real-time systems (context) - Alur, Dill - 1990
175 Logics and models of real time: A survey - Alur, Henzinger - 1992
172 A really temporal logic - Alur, Henzinger - 1989
147 Real-time logics: complexity and expressiveness - Alur, Henzinger - 1990
118 Temporal Logic of Real-time Systems (context) - Ostroff - 1990
112 Lustre: a declarative language for programming synchronous s.. (context) - Caspi, Pilaud et al. - 1987
102 Formal verification of parallel programs (context) - Keller - 1976
90 Time-constrained automata - Merritt, Modugno et al. - 1991
88 The benefits of relaxing punctuality - Alur, Feder et al. - 1991
86 Specifying real-time properties with metric temporal logic (context) - Koymans - 1990
75 Timed transition systems - Henzinger, Manna et al. - 1992
73 Temporal proof methodologies for realtime systems - Henzinger, Manna et al. - 1991
71 A really abstract concurrent model and its temporal logic (context) - Barringer, Kuiper et al. - 1986
69 Using mappings to prove timing properties - Lynch, Attiya - 1990
66 The Esterel synchronous programming language and its mathema.. (context) - Berry, Cosserat - 1985
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
38 ATP: an algebra for timed processes (context) - Nicollin, Richier et al. - 1990
31 The Temporal Specification and Verification of Real-time Sys.. (context) - Henzinger - 1991
20 Half-order modal logic: how to prove real-time properties - Henzinger - 1990
14 Lecture Notes in Computer Science (context) - de Bakker, Huizing et al. - 1992
6 Presented at the First Annual Workshop on Computer-aided Ver.. (context) - Emerson, Mok et al. - 1989
6 A formal approach to hybrid systems (context) - Maler, Manna et al. - 1992
2 Presented at the IEEE Computer Society Workshop on VLSI (context) - Burch - 1991
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