Numerical vs. statistical probabilistic model checking

  title={Numerical vs. statistical probabilistic model checking},
  author={H{\aa}kan L. S. Younes and Marta Z. Kwiatkowska and Gethin Norman and David Parker},
  journal={International Journal on Software Tools for Technology Transfer},
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We compare the two solution techniques when applied to the verification of time-bounded until formulae in the temporal stochastic logic CSL, both theoretically and through empirical evaluation on a set of case studies. Our study differs from most previous comparisons of numerical and statistical approaches in that CSL… CONTINUE READING
Highly Cited
This paper has 188 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 117 extracted citations

A Survey of Statistical Model Checking

ACM Trans. Model. Comput. Simul. • 2018
View 3 Excerpts
Highly Influenced

188 Citations

Citations per Year
Semantic Scholar estimates that this publication has 188 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 39 references

Computing Poisson Probabilities

Commun. ACM • 1988
View 5 Excerpts
Highly Influenced

Numerical transient analysis of markov models

Computers & OR • 1988
View 6 Excerpts
Highly Influenced

Stochastic Petri Net Models of Polling Systems

IEEE Journal on Selected Areas in Communications • 1990
View 3 Excerpts
Highly Influenced

Sequential Analysis

A. Wald
Wiley, New York • 1947
View 8 Excerpts
Highly Influenced

Sequential tests of statistical hypotheses

A. Wald
Ann. Math. Stat. 16(2), 117–186 • 1945
View 8 Excerpts
Highly Influenced

Probabilistic symbolic model checking with PRISM: a hybrid approach

International Journal on Software Tools for Technology Transfer • 2004
View 1 Excerpt

Similar Papers

Loading similar papers…