Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking.

Gianpiero Cabodi, Marco Palena, Paolo Pasini

Browse the full FMCAD paper archive.