Systematic Construction of Abstractions for Model-Checking.

Arie Gurfinkel, Ou Wei, Marsha Chechik

Browse the full VMCAI paper archive.