Clark Barrett
TitelZitiert vonJahr
Satisfiability modulo theories
C Barrett, C Tinelli
Handbook of Model Checking, 305-343, 2018
9932018
The smt-lib standard: Version 2.0
C Barrett, A Stump, C Tinelli
Proceedings of the 8th International Workshop on Satisfiability Modulo …, 2010
7772010
CVC4
C Barrett, C Conway, M Deters, L Hadarean, D Jovanović, T King, ...
Computer aided verification, 171-177, 2011
7362011
CVC3
C Barrett, C Tinelli
Computer Aided Verification, 298-302, 2007
5632007
The satisfiability modulo theories library (SMT-LIB)
C Barrett, A Stump, C Tinelli
SMT-LIB. org 15, 18-52, 2010
405*2010
CVC Lite: A new implementation of the cooperating validity checker
C Barrett, S Berezin
International Conference on Computer Aided Verification, 515-518, 2004
3702004
Reluplex: An efficient SMT solver for verifying deep neural networks
G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer
International Conference on Computer Aided Verification, 97-117, 2017
3532017
CVC: A cooperating validity checker
A Stump, CW Barrett, DL Dill
International Conference on Computer Aided Verification, 500-504, 2002
2622002
Validity checking for combinations of theories with equality
C Barrett, D Dill, J Levitt
International Conference on Formal Methods in Computer-Aided Design, 187-201, 1996
2601996
Checking satisfiability of first-order formulas by incremental translation to SAT
CW Barrett, DL Dill, A Stump
International Conference on Computer Aided Verification, 236-249, 2002
2002002
A decision procedure for an extensional theory of arrays
A Stump, CW Barrett, DL Dill, J Levitt
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 29-37, 2001
1752001
A decision procedure for bit-vector arithmetic
CW Barrett, DL Dill, JR Levitt
Proceedings 1998 Design and Automation Conference. 35th DAC.(Cat. No …, 1998
1501998
Splitting on demand in SAT modulo theories
C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli
International Conference on Logic for Programming Artificial Intelligence …, 2006
1102006
SMT-COMP: Satisfiability modulo theories competition
C Barrett, L De Moura, A Stump
International Conference on Computer Aided Verification, 20-23, 2005
1092005
An industrially effective environment for formal hardware verification
CJH Seger, RB Jones, JW O'Leary, T Melham, MD Aagaard, C Barrett, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2005
1072005
A DPLL (T) theory solver for a theory of strings and regular expressions
T Liang, A Reynolds, C Tinelli, C Barrett, M Deters
International Conference on Computer Aided Verification, 646-662, 2014
932014
Counterexample-guided quantifier instantiation for synthesis in SMT
A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett
International Conference on Computer Aided Verification, 198-216, 2015
872015
Solving quantified verification conditions using satisfiability modulo theories
Y Ge, C Barrett, C Tinelli
International Conference on Automated Deduction, 167-182, 2007
842007
6 years of SMT-COMP
C Barrett, M Deters, L De Moura, A Oliveras, A Stump
Journal of Automated Reasoning 50 (3), 243-277, 2013
782013
TVOC: A translation validator for optimizing compilers
C Barrett, Y Fang, B Goldberg, Y Hu, A Pnueli, L Zuck
International Conference on Computer Aided Verification, 291-295, 2005
752005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20