Statistical Model Checking for Steady State Dependability Verification

  title={Statistical Model Checking for Steady State Dependability Verification},
  author={Diana El Rabih and Nihal Pekergin},
  journal={2009 Second International Conference on Dependability},
We propose to apply the perfect simulation to perform statistical model checking of large Markov chains. Perfect simulation is an extension of Monte Carlo Markov Chain (MCMC) methods, it allows us to obtain exact steady-state samples of the underlying chain thus it avoids the burn-in time problem to detect the steady-state. The statistical model checking by MCMC methods has been already proposed in the last years. However the steady-state formulas can not be checked by this approach because of… CONTINUE READING


Publications referenced by this paper.
Showing 1-9 of 9 references

On the exact simulation of functionals of stationary Markov chains

  • J. M. Vincent, C. Marchand
  • Linear Algebra and its Applications, 386:285- 310
  • 2004
Highly Influential
6 Excerpts

Numerical vs

  • H. L. Younes, M. Kwiatkowska, G. Norman, D. Parker
  • statistical probabilistic model checking…
  • 2006
1 Excerpt

An Engineering approach to computer networking

  • S. Keshav
  • Addison Wesley
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…