R. Alur A. Itai R.P. Kurshan M. Yannakakis  Home/Search
Context Related
| upenn.edu/~alur/Cav92.ps.gz 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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present an algorithm for verifying that a model M with timing constraints satisfies a given temporal property T . The model M is given as a parallel composition of !-automata P i , where each automaton P i is constrained by bounds on delays. The property T is given as an !-automaton as well, and the verification problem is posed as a language inclusion question L(M ) ` L(T ). In constructing the composition M of the constrained automata P i , one needs to rule out the behaviors that are... (Update)
Cited by: More
Refining Approximations in Software Predicate Abstraction - Ball, Cook, Das, Rajamani (2004) (Correct)
Thread-modular Abstraction Refinement - Henzinger, Jhala, Majumdar, Qadeer (2003) (Correct)
A case study for the verification of complex timed circuits.. - Marco Pena And (Correct)
Active bibliography (related documents): More All
0.5: Efficient Reachability Analysis of Hierarchical Reactive.. - Alur, Grosu, McDougall (2000) (Correct)
0.3: Model-Checking in Dense Real-time - Alur, Courcoubetis, Dill (1993) (Correct)
0.2: On Modelling and Reasoning About Hybrid Systems - Sekar, Lin, Narain (Correct)
Similar documents based on text: More All
0.0: Adaptive Source Routing in High-Speed Networks - Itai, Shachnai (1996) (Correct)
0.0: Parametric Temporal Logic for "Model Measuring" - Alur, Etessami, Torre, Peled (1999) (Correct)
0.0: Aircraft Design Problem Implementation Under The.. - Sistla, Dovi, Su.. (1999) (Correct)
Related documents from co-citation: More All
21: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
19: Timing assumptions and verification of finite-state concurrent systems (context) - Dill - 1989
15: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
BibTeX entry: (Update)
Alur R, Itai A, Kurshan R P, Yannakakis M, Timing Verification by Successive Approximation, Proc 4 th CAV, 1992, LNCS 663, pp 137-150. http://citeseer.ist.psu.edu/alur92timing.html More
@inproceedings{ alur92timing,
author = "Rajeev Alur and Alon Itai and Robert P. Kurshan and Mihalis Yannakakis",
title = "Timing Verification by Successive Approximation",
booktitle = "Computer Aided Verification",
pages = "137-150",
year = "1992",
url = "citeseer.ist.psu.edu/alur92timing.html" }
Citations (may not include all citations):1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
482 Combinatorial optimization: Algorithms and complexity (context) - Papadimitriou, Steiglitz - 1982
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
404 Symbolic model-checking for real-time systems - Henzinger, Nicollin et al. - 1992
374 Automata on infinite objects (context) - Thomas - 1990
315 Symbolic model checking: an approach to the state explosion .. (context) - McMillan - 1993
184 Automata for modeling real-time systems (context) - Alur, Dill - 1990
172 A really temporal logic - Alur, Henzinger - 1989
148 A fast mutual exclusion algorithm - Lamport - 1987
141 Timing assumptions and verification of finite-state concurre.. (context) - Dill - 1989
92 Quantitative temporal reasoning (context) - Emerson, Mok et al. - 1990
75 Analysis of discrete event coordination (context) - Kurshan - 1990
73 Temporal proof methodologies for real-time systems - Henzinger, Manna et al. - 1991
72 Minimization of timed transition systems - Alur, Courcoubetis et al. - 1992
63 Automatic verification of sequential circuits using temporal.. (context) - Browne, Clarke et al. - 1986
42 tapes: a simplified approach (context) - Choueka, automata - 1974
38 A logic of concrete time intervals (context) - Lewis - 1990
36 Software for analytical development of communication protoco.. (context) - Har'El, Kurshan - 1990
31 Graph-theoretic methods in database theory (context) - Yannakakis - 1990
26 Reducibility in analysis of coordination (context) - Kurshan - 1987
25 Timing-based mutual exclusion - Lynch, Shavit - 1992
24 Results about fast mutual exclusion (context) - Alur, Taubenfeld - 1992
4 Modeling elapsed time in protocol specification (context) - Aggarwal, Kurshan - 1983
2 A language for the specification and analysis of protocols (context) - Aggarwal, Kurshan et al. - 1983
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)
A Really Temporal Logic - Alur, Henzinger (1989) (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