Completeness and Complexity of Bounded Model Checking.

Edmund M. Clarke, Daniel Kroening, Jol Ouaknine, Ofer Strichman

Browse the full VMCAI paper archive.