Rajeev Alur, Robert P. Kurshan  Home/Search
Context Related
Links: ACM DBLP | upenn.edu/~alur/Hybrid95.ps.gz utah.edu/~myers/ee6961b/cospan.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 describe how to model and verify real-time systems using the formal verification tool Cospan. The verifier supports automatatheoretic verification of coordinating processes with timing constraints. We discuss different heuristics, and our experiences with the tool for certain benchmark problems appearing in the verification literature. 1 Introduction Model checking is a method of automatically verifying concurrent systems in which a finite-state model of a system is compared with a... (Update)
Cited by: More
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) (Correct)
Discrete Abstractions of Hybrid Systems - Alur, Henzinger, Lafferriere.. (2000) (Correct)
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
Active bibliography (related documents): More All
0.2: Algorithms For Synthesis And Verification Of Timed Circuits And .. - Belluomini (1999) (Correct)
0.2: Model-Checking in Dense Real-time - Alur, Courcoubetis, Dill (1993) (Correct)
0.2: Trace Theoretic Verification of Timed Circuits: Correctness.. - Mercer (Correct)
Similar documents based on text: More All
0.2: Adding Dense Time Properties to Finite--State.. - Courcoubetis Dill.. (1992) (Correct)
0.2: Compiling SDL Into The Finite State Specification Language.. - Basbugoglu, al. (Correct)
0.2: Model-Checking of Real-Time Systems: A.. - Alur, Jagadeesan, .. (1997) (Correct)
Related documents from co-citation: More All
30: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
25: The tool KRONOS - Daws, Olivero et al. - 1996
19: Timing assumptions and verification of finite-state concurrent systems (context) - Dill - 1989
BibTeX entry: (Update)
R. Alur and R.P. Kurshan. Timing analysis in cospan. In T.A. Henzinger R. Alur and E. Sontag, editors, Hybrid Systems III, pages 220--231. LNCS 1066, SpringerVerlag, 1996. http://citeseer.ist.psu.edu/alur96timing.html More
@inproceedings{ alur95timing,
author = "R. Alur and R. P. Kurshan",
title = "Timing Analysis in {COSPAN}",
booktitle = "Hybrid Systems {III}: Verification and Control",
volume = "1066",
month = "22--25~October",
publisher = "Springer",
address = "Rutgers University, New Brunswick, NJ, USA",
pages = "220--231",
year = "1995",
url = "citeseer.ist.psu.edu/alur96timing.html" }
Citations (may not include all citations):666 Theoretical Computer Science (context) - Alur, Dill et al. - 1994 ACM
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
404 Symbolic modelchecking for real-time systems - Henzinger, Nicollin et al. - 1994
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995 ACM DBLP
374 Automata on infinite objects (context) - Thomas - 1990 ACM DBLP
315 Symbolic model checking: an approach to the state explosion .. (context) - McMillan - 1993
267 Computer-aided Verification of Coordinating Processes: the a.. (context) - Kurshan - 1994
224 Model-checking in dense real-time - Alur, Courcoubetis et al. - 1993 ACM DBLP
172 A really temporal logic - Alur, Henzinger - 1994 ACM DBLP
141 Timing assumptions and verification of finite-state concurre.. (context) - Dill - 1989 ACM DBLP
102 Modeling and verification of time-dependent systems using ti.. (context) - Berthomieu, Diaz - 1991
73 Compositional and symbolic modelchecking of real-time system.. - Larsen, Pettersson et al. - 1995
69 What good are digital clocks - Henzinger, Manna et al. - 1992
55 Verifying ET-LOTOS programs with KRONOS - Daws, Olivero et al. - 1994
47 Timing verification by successive approximation - Alur, Itai et al. - 1995 ACM DBLP
32 Representing and modeling digital circuits (context) - Rokicki - 1993 ACM
16 Verification of hybrid systems using abstractions - Puri, Varaiya - 1995 ACM DBLP
13 Symbolic approximations for verifying real-time systems (context) - Wong-Toi - 1994 ACM
7 A verification strategy for timingconstrained systems (context) - Balarin, Sangiovanni-Vincentelli - 1992
4 trace theory and timing models (context) - Burch - 1989
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