Interpolant-Based Transition Relation Approximation.

Ranjit Jhala, Kenneth L. McMillan

Browse the full CAV paper archive.