Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Logic in computer science / Constraint programming / Electronic design automation / NP-complete problems / Satisfiability modulo theories / Solver / SMT / Uninterpreted function / Model checking / Alt-Ergo


Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. Conway
Add to Reading List

Document Date: 2010-10-30 16:21:50


Open Document

File Size: 55,51 KB

Share Result on Facebook
UPDATE