Microsoft Research
Microsoft Translator |
Predicate Abstraction via Symbolic Decision Procedures

Shuvendu K. Lahiri, Thomas Ball, and Byron Cook
2007

lmcs07.pdf
PDF file

In  Logical Methods in Computer Science (LMCS '07)

Details

TypeArticle
Volume3
Number2
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Predicate Abstraction via Symbolic Decision Procedures