Follow
Leonardo de Moura
Leonardo de Moura
Amazon Web Services
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
Z3: An efficient SMT solver
L De Moura, N Bjørner
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
94692008
Clone detection using abstract syntax trees
ID Baxter, A Yahin, L Moura, M Sant'Anna, L Bier
Proceedings. International Conference on Software Maintenance (Cat. No …, 1998
18961998
A fast linear-arithmetic solver for DPLL (T)
B Dutertre, L De Moura
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
9402006
The yices smt solver
B Dutertre, L De Moura
Tool paper at http://yices. csl. sri. com/tool-paper. pdf 2 (2), 1-2, 2006
8632006
Satisfiability modulo theories: introduction and applications
L De Moura, N Bjørner
Communications of the ACM 54 (9), 69-77, 2011
8282011
The Lean theorem prover (system description)
L de Moura, S Kong, J Avigad, F Van Doorn, J von Raumer
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
4802015
Learning a SAT solver from single-bit supervision
D Selsam, M Lamm, B Bünz, P Liang, L de Moura, DL Dill
arXiv preprint arXiv:1802.03685, 2018
3722018
SAL 2
L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
3712004
Solving non-linear arithmetic
D Jovanović, L De Moura
International Joint Conference on Automated Reasoning, 339-354, 2012
3242012
Efficient E-matching for SMT solvers
L De Moura, N Bjørner
Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007
3192007
Complete instantiation for quantified formulas in satisfiabiliby modulo theories
Y Ge, L De Moura
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
2882009
Satisfiability modulo theories: An appetizer
L De Moura, N Bjørner
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009
2852009
Bounded model checking and induction: From refutation to verification
L De Moura, H Rueß, M Sorea
Computer Aided Verification, 14-26, 2003
224*2003
Lazy theorem proving for bounded model checking over infinite domains
L De Moura, H Rueß, M Sorea
Automated Deduction—CADE-18: 18th International Conference on Automated …, 2002
1872002
Generating efficient test sets with a model checker
G Hamon, L De Moura, J Rushby
Proceedings of the Second International Conference on Software Engineering …, 2004
1812004
Generalized, efficient array decision procedures
L De Moura, N Bjørner
2009 Formal Methods in Computer-Aided Design, 45-52, 2009
1612009
The SAL language manual
L De Moura, S Owre, N Shankar
Computer Science Laboratory, SRI International, Menlo Park, Tech. Rep. CSL-01-01, 2003
1462003
A model-constructing satisfiability calculus
L De Moura, D Jovanović
Verification, Model Checking, and Abstract Interpretation: 14th …, 2013
1432013
Efficiently solving quantified bit-vector formulas
CM Wintersteiger, Y Hamadi, L De Moura
Formal Methods in System Design 42, 3-23, 2013
1362013
μZ– An Efficient Engine for Fixed Points with Constraints
K Hoder, N Bjørner, L De Moura
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1362011
The system can't perform the operation now. Try again later.
Articles 1–20