Efficient uninterpreted function abstraction and refinement for word-level model checking.

Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton

Browse the full FMCAD paper archive.