Coverage Estimation for Symbolic Model Checking

  title={Coverage Estimation for Symbolic Model Checking},
  author={Yatin Vasant Hoskote and Timothy Kam and Pei-Hsin Ho and Xudong Zhao},
Although model checking is an exhaustive formal verification method, a bug can still escape detection if the erroneous behavior does not violate any verified property. We propose a coverage metric to estimate the “completeness” of a set of properties verified by model checking. A symbolic algorithm is presented to compute this metric for a subset of the CTL property specification language. It has the same order of computational complexity as a model checking algorithm. Our coverage estimator… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 141 citations. REVIEW CITATIONS
88 Citations
2 References
Similar Papers


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

142 Citations

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

See our FAQ for additional information.


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

Symbolic Model Checking: An Approach to the State Explosion Problem,

  • K. L. McMillan
  • Kluwer Academic,
  • 1993
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…