A single-instance incremental SAT formulation of proof- and counterexample-based abstraction.

Niklas En, Alan Mishchenko, Nina Amla

Browse the full FMCAD paper archive.