Back to Results
First PageMeta Content
Mathematical logic / Mathematics / Theoretical computer science / Formal methods / Electronic design automation / Logic in computer science / NP-complete problems / Boolean algebra / Satisfiability modulo theories / Boolean satisfiability problem / 120-cell / Predicate


SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s
Add to Reading List

Document Date: 2006-06-09 05:24:28


Open Document

File Size: 218,22 KB

Share Result on Facebook
UPDATE