متابعة
Leonardo de Moura
Leonardo de Moura
Amazon Web Services
بريد إلكتروني تم التحقق منه على amazon.com - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Z3: An efficient SMT solver‏
L De Moura, N Bjørner‏
International conference on Tools and Algorithms for the Construction and …, 2008‏
116002008
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‏
20321998
A fast linear-arithmetic solver for DPLL (T)‏
B Dutertre, L De Moura‏
International Conference on Computer Aided Verification, 81-94, 2006‏
10052006
Satisfiability modulo theories: introduction and applications‏
L De Moura, N Bjørner‏
Communications of the ACM 54 (9), 69-77, 2011‏
9532011
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‏
8992006
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‏
8202015
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‏
5292018
Solving non-linear arithmetic‏
D Jovanović, L De Moura‏
International Joint Conference on Automated Reasoning, 339-354, 2012‏
3922012
Efficient E-matching for SMT solvers‏
L De Moura, N Bjørner‏
Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007‏
3862007
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‏
3782004
Complete instantiation for quantified formulas in satisfiabiliby modulo theories‏
Y Ge, L De Moura‏
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009‏
3442009
Satisfiability modulo theories: An appetizer‏
L De Moura, N Bjørner‏
Brazilian Symposium on Formal Methods, 23-36, 2009‏
3142009
The Lean 4 theorem prover and programming language‏
L Moura, S Ullrich‏
Automated Deduction–CADE 28: 28th International Conference on Automated …, 2021‏
2912021
Bounded model checking and induction: From refutation to verification‏
L De Moura, H Rueß, M Sorea‏
Computer Aided Verification, 14-26, 2003‏
232*2003
Lazy theorem proving for bounded model checking over infinite domains‏
L De Moura, H Rueß, M Sorea‏
International Conference on Automated Deduction, 438-455, 2002‏
1932002
Generalized, efficient array decision procedures‏
L De Moura, N Bjørner‏
2009 Formal Methods in Computer-Aided Design, 45-52, 2009‏
1852009
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‏
1852004
A model-constructing satisfiability calculus‏
L De Moura, D Jovanović‏
International Workshop on Verification, Model Checking, and Abstract …, 2013‏
1702013
SMT-COMP: Satisfiability modulo theories competition‏
C Barrett, L De Moura, A Stump‏
International Conference on Computer Aided Verification, 20-23, 2005‏
1682005
The SAL language manual‏
L De Moura, S Owre, N Shankar‏
Computer Science Laboratory, SRI International, Menlo Park, Tech. Rep. CSL-01-01, 2003‏
1502003
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20