A CLP Method for Compositional and Intermittent Predicate Abstraction.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Browse the full VMCAI paper archive.