Experience with Predicate Abstraction.

Satyaki Das, David L. Dill, Seungjoon Park

Browse the full CAV paper archive.