Z3: An Efficient SMT Solver
Z3: An Efficient SMT Solver
L. D. Moura,Nikolaj S. Bjørner
2008 · DOI: 10.1007/978-3-540-78800-3_24
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 8,281 Citations
TLDR
Z3 is a new and efficient SMT Solver freely available from Microsoft Research that is used in various software verification and analysis applications.