Follow
Clark Barrett
Title
Cited by
Cited by
Year
Satisfiability modulo theories
C Barrett, C Tinelli
Handbook of Model Checking, 305-343, 2018
15982018
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
12982017
CVC4
C Barrett, C Conway, M Deters, L Hadarean, D JovanoviŠ, T King, ...
Computer aided verification, 171-177, 2011
12492011
The smt-lib standard: Version 2.0
C Barrett, A Stump, C Tinelli
Proceedings of the 8th international workshop on satisfiability moduloá…, 2010
11942010
CVC3
C Barrett, C Tinelli
Computer Aided Verification, 298-302, 2007
6262007
The satisfiability modulo theories library (SMT-LIB)
C Barrett, A Stump, C Tinelli
SMT-LIB. org 15, 18-52, 2010
6042010
CVC Lite: A new implementation of the cooperating validity checker
C Barrett, S Berezin
International Conference on Computer Aided Verification, 515-518, 2004
3872004
CVC: A cooperating validity checker
A Stump, CW Barrett, DL Dill
International Conference on Computer Aided Verification, 500-504, 2002
2712002
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
2631996
The marabou framework for verification and analysis of deep neural networks
G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ...
International Conference on Computer Aided Verification, 443-452, 2019
2452019
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
2182002
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
2072001
Algorithms for verifying deep neural networks
C Liu, T Arnon, C Lazarus, C Strong, C Barrett, MJ Kochenderfer
Foundations and Trends® in Optimization 4 (3-4), 244-404, 2021
1882021
A decision procedure for bit-vector arithmetic
CW Barrett, DL Dill, JR Levitt
Proceedings of the 35th Annual Design Automation Conference, 522-527, 1998
1761998
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
1462014
Deepsafe: A data-driven approach for assessing robustness of neural networks
D Gopinath, G Katz, CS PŃsŃreanu, C Barrett
International symposium on automated technology for verification andá…, 2018
1382018
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
1342015
Provably minimally-distorted adversarial examples
N Carlini, G Katz, C Barrett, DL Dill
arXiv preprint arXiv:1709.10207, 2017
1332017
SMT-COMP: Satisfiability modulo theories competition
C Barrett, L Moura, A Stump
International Conference on Computer Aided Verification, 20-23, 2005
1292005
Splitting on demand in SAT modulo theories
C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli
International Conference on Logic for Programming Artificial Intelligenceá…, 2006
1242006
The system can't perform the operation now. Try again later.
Articles 1–20