Property directed reachability with word-level abstraction.

Yen-Sheng Ho, Alan Mishchenko, Robert K. Brayton

Browse the full FMCAD paper archive.