Induction in Compositional Model Checking.

Kenneth L. McMillan, Shaz Qadeer, James B. Saxe

Browse the full CAV paper archive.