Back to Results
First PageMeta Content
Logic / Mathematical logic / Mathematics / Predicate logic / Propositional calculus / Semantics / Philosophical logic / Satisfiability modulo theories / Predicate / Literal / Well-formed formula / Model checking


SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1
Add to Reading List

Document Date: 2006-10-26 11:14:04


Open Document

File Size: 880,22 KB

Share Result on Facebook
UPDATE