Linear Completeness Thresholds for Bounded Model Checking.

Daniel Kroening, Jol Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell

Browse the full CAV paper archive.