Lazy Abstraction with Interpolants

@inproceedings{McMillan2006LazyAW,
  title={Lazy Abstraction with Interpolants},
  author={Kenneth L. McMillan},
  booktitle={CAV},
  year={2006}
}
We describe a model checker for infinite-state sequential programs, based on Craig interpolation and the lazy abstraction paradigm. On device driver benchmarks, we observe a speedup of up to two orders of magnitude relative to a similar tool using predicate abstraction. 
Highly Influential
This paper has highly influenced 46 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 434 citations. REVIEW CITATIONS

Citations

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

435 Citations

0204060'06'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 435 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…