M.Y. Vardi. Automatic verification of probabilistic concurrent finite-state programs. In Proceedings of the 26th IEEE Symposium on Foundations of Computer Science, pages 327-- 338, 1985. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Bounded Model Checking for GSMP Models of Stochastic.. - Alur, Bernadsky (2006) (Correct)
Symbolic Verification of Communicating Systems With.. - Baier Bertrand And (Correct)
ProbVerus: Probabilistic Symbolic Model Checking - Hartonas-Garmhausen, Campos.. (1999) (Correct)
Symbolic Model Checking for Probabilistic Processes - Christel Baier Edmund (1997) (31 citations) (Correct)
Establishing Qualitative Properties for - Probabilistic Lossy Channel (Correct)
Electronic Notes in Theoretical Computer Science 21 (1999) - Url Http Www (Correct)
Approximate Symbolic Model Checking of Continuous-Time.. - Baier, Katoen, Hermanns (1999) (29 citations) (Correct)
Model Checking Probabilistic Distributed - Systems Benedikt Bollig (Correct)
A Note on the Attractor-Property - Of Infinite-State Markov (Correct)
Quantitative Analysis of Distributed Randomized Protocols - Baier, Ciesinski, Groesser (2005) (Correct)
The Complexity of Quantitative Concurrent Parity Games - Chatterjee, Henzinger (2004) (Correct)
Model Checking Probabilistic Pushdown Automata - Esparza, Kucera, Mayr (2004) (1 citation) (Correct)
Implementation of Symbolic Model Checking for Probabilistic.. - Parker (1999) (5 citations) (Correct)
Model Checking for Probability and Time: From Theory to Practice - Kwiatkowska (2003) (6 citations) (Correct)
On the use of MTBDDs for performability analysis.. - Hermanns.. (2002) (2 citations) (Correct)
Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink (Correct)
Discounting the Future in Systems Theory - de Alfaro, Henzinger, Majumdar (2003) (1 citation) (Correct)
Compositional Methods for Probabilistic Systems - de Alfaro, Henzinger, Jhala (2001) (13 citations) (Correct)
Probability, Nondeterminism and Concurrency: Two Denotational.. - Varacca (2003) (Correct)
Probabilistic Model Checking of the CSMA/CD.. - Duflot, Fribourg, .. (2004) (Correct)
Proving Time Bounds for Randomized Distributed Algorithms - Lynch, Saias, Segala (1994) (21 citations) (Correct)
A Hierarchy of Probabilistic System Types - Falk Bartels Ana (2003) (4 citations) (Correct)
Concurrent Omega-Regular Games - de Alfaro, Henzinger (2000) (3 citations) (Correct)
Approximate Reasoning for Real-Time Probabilistic Processes - Gupta, Jagadeesan.. (2006) (Correct)
Bibliography - Accellera Property Specification Self-citation (Vardi) (Correct)
First 50 documents Next 50
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