Interpolation-sequence based model checking.

Yakir Vizel, Orna Grumberg

Browse the full FMCAD paper archive.