Verification Using Uninterpreted Functions and Finite Instantiations.

Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton

Browse the full FMCAD paper archive.