A Survey of Statistical Model Checking

  title={A Survey of Statistical Model Checking},
  author={Gul A. Agha and Karl Palmskog},
  journal={ACM Trans. Model. Comput. Simul.},
Interactive, distributed, and embedded systems often behave stochastically, for example, when inputs, message delays, or failures conform to a probability distribution. However, reasoning analytically about the behavior of complex stochastic systems is generally infeasible. While simulations of systems are commonly used in engineering practice, they have not traditionally been used to reason about formal specifications. Statistical model checking (SMC) addresses this weakness by using a… CONTINUE READING