Symbolic Model Checking

@inproceedings{Clarke1993SymbolicMC,
  title={Symbolic Model Checking},
  author={Edmund M. Clarke and Kenneth L. McMillan and S{\'e}rgio Vale Aguiar Campos and Vasiliki Hartonas-Garmhausen},
  booktitle={CAV},
  year={1993}
}
Extensive simulation is currently the most widely used verification technique. However, simulation does not check all possible behaviors of a computing system. Exhaustive simulation is too expensive, and non-exhaustive simulation can miss important events, especially if the number of states in the system being verified is large. Other approaches for Verification include theorem provers, term rewriting systems and proof checkers. These techniques, however, are usually very time consuming and… CONTINUE READING
Highly Influential
This paper has highly influenced 290 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 3,201 citations. REVIEW CITATIONS

Topics

Statistics

0100200'94'97'00'03'06'09'12'15'18
Citations per Year

3,201 Citations

Semantic Scholar estimates that this publication has 3,201 citations based on the available data.

See our FAQ for additional information.