Abstraction Refinement for Bounded Model Checking.

Anubhav Gupta, Ofer Strichman

Browse the full CAV paper archive.