280 search results - page 6 / 56 » Statistical Model Checking of Black-Box Probabilistic System... |
93
Voted
SIGMETRICS
2008
ACM
14 years 10 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...
95
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
65
Voted
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
79
Voted
ICFEM
2010
Springer
14 years 7 months ago
2010
Springer
154
Voted
TOCL
2012
13 years 20 days ago
2012