Thread-Modular Abstraction Refinement.

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer

Browse the full CAV paper archive.