Checking Safety by Inductive Generalization of Counterexamples to Induction.

Aaron R. Bradley, Zohar Manna

Browse the full FMCAD paper archive.