145 search results - page 3 / 29 » Model Checking of Recursive Probabilistic Systems |
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
CAV
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
FOSSACS
2005
Springer
14 years 27 days ago
2005
Springer
ICFEM
2010
Springer
13 years 4 months ago
2010
Springer
FORMATS
2004
Springer
14 years 23 days ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...