A Hybrid of Counterexample-Based and Proof-Based Abstraction

@inproceedings{Amla2004AHO,
  title={A Hybrid of Counterexample-Based and Proof-Based Abstraction},
  author={Nina Amla and Kenneth L. McMillan},
  booktitle={FMCAD},
  year={2004}
}
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

Citations

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

Learning Abstractions for Model Checking

View 5 Excerpts
Highly Influenced

Automatic abstraction refinement of TR for PDR

2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC) • 2016
View 1 Excerpt

Core minimization in SAT-based abstraction

2013 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2013
View 1 Excerpt

GLA: Gate-level abstraction revisited

2013 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2013

IC3-guided abstraction

2012 Formal Methods in Computer-Aided Design (FMCAD) • 2012
View 1 Excerpt

Variable Time-Frame Abstraction

Alan Mishchenko Niklas Een Robert Brayton Jason Baumgar Nalla
2012

Similar Papers

Loading similar papers…