Back to Results
First PageMeta Content
Mathematics / Theoretical computer science / Mathematical logic / Predicate logic / Constraint programming / Electronic design automation / Logic in computer science / Satisfiability modulo theories / Z3 / First-order logic / Language Integrated Query / Computer program


Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories)
Add to Reading List

Document Date: 2010-11-01 03:01:08


Open Document

File Size: 137,11 KB

Share Result on Facebook