A Practical Approach to Coverage in Model Checking

  title={A Practical Approach to Coverage in Model Checking},
  author={Hana Chockler and Orna Kupferman and Robert P. Kurshan and Moshe Y. Vardi},
In formal verification, we verify that a system is correct wit h respect to a specification. When verification succeeds and the system is proven to be correct, there is still a question of how complete the specifi cation is, and whether it really covers all the behaviors of the system. In this pape r w study coverage metrics for model checking from a practical point of view. Co verage metrics are based on modifications we apply to the system in order to check which parts of it were actually… CONTINUE READING
Highly Cited
This paper has 83 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
55 Citations
32 References
Similar Papers


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

84 Citations

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

See our FAQ for additional information.

Similar Papers

Loading similar papers…