Rajeev Alur, Costas Courcoubetis, David L. Dill  Home/Search
Context Related
| upenn.edu/~alur/Icalp91.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: Model-checking is a method of verifying concurrent systems in which a state-graph model of the system behavior is compared with a temporal logic formula. This paper extends modelchecking to stochastic real-time systems, whose behavior depends on probabilistic choice and quantitative time. The specification language is TCTL, a branching-time temporal logic for expressing real-time properties. We interpret the formulas of the logic over generalized semiMarkov processes. Our model can express... (Update)
Cited by: More
Bounded Model Checking for GSMP Models of Stochastic.. - Alur, Bernadsky (2006) (Correct)
ProbVerus: Probabilistic Symbolic Model Checking - Hartonas-Garmhausen, Campos.. (1999) (Correct)
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (Correct)
Similar documents (at the sentence level):
13.8%: Verifying Automata Specifications of Probabilistic.. - Alur, Courcoubetis, Dill (1991) (Correct)
Active bibliography (related documents): More All
0.2: Dynamic Logic - Harel, Kozen, Tiuryn (1984) (Correct)
0.2: Algebraic Reasoning for Probabilistic Concurrent Systems - Giacalone, Jou, Smolka (1990) (Correct)
0.2: Design Strategy for a Formally Verified Reliable Computing.. - Ricky Butler (1991) (Correct)
Similar documents based on text: More All
0.3: On Model-Checking for Fragments of µ-Calculus - Emerson, Sistla (1995) (Correct)
0.3: Model-Checking in Dense Real-time - Alur, Courcoubetis, Dill (1993) (Correct)
0.2: Modeling and Verification of a Real Life Protocol Using.. - Naik, Sistla (1994) (Correct)
Related documents from co-citation: More All
24: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
23: Automatic verification of probabilistic concurrent finite-state systems (context) - Vardi - 1985
18: Model checking for a probabilistic branching time logic with fairness - Kwiatkowska, Baier - 1996
BibTeX entry: (Update)
R. Alur, C. Courcoubetis, and D. Dill. Model Checking for Probabilistic Real-time Systems. In J. L. Albert, B. Monien, and M. R. Artalejo, editors, International Colloquium on Automata, Languages and Programming, volume 510 of Lecture Notes in Computer Science. Springer Verlag, 1991. http://citeseer.ist.psu.edu/alur91modelchecking.html More
@inproceedings{ alur91modelchecking,
author = "Rajeev Alur and Costas Courcoubetis and David L. Dill",
title = "Model-Checking for Probabilistic Real-Time Systems (Extended Abstract)",
booktitle = "Automata, Languages and Programming",
pages = "115-126",
year = "1991",
url = "citeseer.ist.psu.edu/alur91modelchecking.html" }
Citations (may not include all citations):1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
299 Model-checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
184 Automata for modeling real-time systems (context) - Alur, Dill - 1990
172 A really temporal logic - Alur, Henzinger - 1989
128 Automatic verification of probabilistic concurrent finite-st.. (context) - Vardi - 1985
119 Using branching time temporal logic to synthesize synchroniz.. (context) - Emerson, Clarke - 1982
102 Symbolic modelchecking: 10 20 states and beyond (context) - Burch, Clarke et al. - 1990
94 Using partial orders to improve automatic verification metho.. (context) - Godefroid - 1990
90 Specifying message passing and time-critical systems with te.. (context) - Koymans - 1989
40 Verifying temporal properties of finite-state probabilistic .. (context) - Courcoubetis, Yannakakis - 1988
38 A logic of concrete time intervals (context) - Lewis - 1990
28 A Framework for Reasoning about Time and Reliability (context) - Hansson, Jonsson - 1989
21 Continuity of generalized semi-Markov processes (context) - Whitt - 1980
16 Probabilistic verification by tableaux (context) - Pnueli, Zuck - 1986
7 Regeneration and Networks of Queues (context) - Shedler - 1987
5 Reasoning with time and chance (context) - Lehman, Shelah - 1982
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