Automatic Abstraction in SMT-Based Unbounded Software Model Checking.

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke

Browse the full CAV paper archive.