Interpolant-based transition relation approximation (2005)

by Ranjit Jhala, K. L. Mcmillan
Venue:In CAV 05: Computer-Aided Verification, LNCS 3576