ProbVerus: Probabilistic Symbolic Model Checking

  title={ProbVerus: Probabilistic Symbolic Model Checking},
  author={Vasiliki Hartonas-Garmhausen and S{\'e}rgio Vale Aguiar Campos and Edmund M. Clarke},
Model checking can tell us whether a sy stem is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checking allows one to verify properties that may not be true with probability one, but may still hold with an acceptable probability. The challenge in developing a probabilistic model checker able to handle realistic systems is the co nstruction of the state space and the necessity to solve huge systems of linear equations… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS