A Practical and Complete Approach to Predicate Refinement.

Ranjit Jhala, Kenneth L. McMillan

Browse the full TACAS paper archive.