|
1659
|
A theory of timed automata
– Rajeev Alur
- 1999
|
|
190
|
Automatic verification of probabilistic concurrent finite-state systems
– M Y Vardi
- 1985
|
|
104
|
Model Checking for a Probabilistic Branching Time Logic with Fairness
– Christel Baier, Marta Kwiatkowska
- 1998
|
|
172
|
Model Checking of Probabilistic and Nondeterministic Systems
– Andrea Bianco, Luca De Alfaro
- 1995
|
|
233
|
Probabilistic Simulations for Probabilistic Processes
– Roberto Segala, Nancy Lynch
- 1994
|
|
129
|
The complexity of probabilistic verification
– C Courcoubetis, M Yannakakis
- 1995
|
|
192
|
A Logic for Reasoning about Time and Reliability
– Hans Hansson, Bengt Jonsson
- 1994
|
|
39
|
Performance analysis of probabilistic timed automata using digital clocks
– Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
- 2003
|
|
90
|
Formal Verification of Probabilistic Systems
– Luca de Alfaro
- 1997
|
|
190
|
Modeling and Verification of Randomized Distributed Real-Time Systems
– R Segala
- 1995
|
|
41
|
Model Checking for Probability and Time: From Theory to Practice
– Marta Kwiatkowska
- 2003
|
|
14
|
Model Checking Probabilistic Real Time Systems
– Henrik Ejersbo Jensen
- 1996
|
|
31
|
Computing Minimum and Maximum Reachability Times in Probabilistic Systems
– Luca De Alfaro
- 1999
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
112
|
Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract)
– Christel Baier, Joost-pieter Katoen, Holger Hermanns
- 1999
|
|
371
|
Bisimulation through probabilistic testing
– Kim G. Larsen, Arne Skou
- 1989
|
|
113
|
PRISM: A tool for automatic verification of probabilistic systems
– Andrew Hinton, Marta Kwiatkowska, Gethin Norman, David Parker
- 2006
|
|
29
|
Verifying quantitative properties of continuous probabilistic timed automata
– Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
- 2000
|
|
416
|
UPPAAL in a Nutshell
– Kim G. Larsen, Paul Pettersson, Wang Yi
- 1997
|
