"Interpolant-Based Transition Relation Approximation."

Ranjit Jhala, Kenneth L. McMillan (2005)
maintained by Schloss Dagstuhl LZI, founded at University of Trier