Property Directed Polyhedral Abstraction.

Nikolaj S. Bjrner, Arie Gurfinkel

Browse the full VMCAI paper archive.