A Symbolic Approach to Predicate Abstraction.

Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook

Browse the full CAV paper archive.