Predicate Abstraction via Symbolic Decision Procedures

Shuvendu K. Lahiri, Thomas Ball, and Byron Cook

Details

Publication typeArticle
Published inLogical Methods in Computer Science (LMCS '07)
Volume3
Number2
> Publications > Predicate Abstraction via Symbolic Decision Procedures