Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
- Guy Katz, C. Barrett, D. Dill, Kyle D. Julian, Mykel J. Kochenderfer
- Computer ScienceCAV
- 3 February 2017
TLDR
Satisfiability Modulo Theories
- C. Barrett, R. Sebastiani, S. Seshia, C. Tinelli
- Computer ScienceHandbook of Satisfiability
- 2 February 2021
TLDR
The SMT-LIB Standard Version 2.0
- C. Barrett, Aaron Stump, C. Tinelli
- Computer Science
- 2010
TLDR
CVC Lite: A New Implementation of the Cooperating Validity Checker Category B
- C. Barrett, S. Berezin
- Computer ScienceCAV
- 13 July 2004
We describe a tool called CVC Lite (CVCL), an automated theorem prover for formulas in a union of first-order theories. CVCL supports a set of theories which are useful in verification, including…
Handbook of Satisfiability
- C. Barrett, R. Sebastiani, S. Seshia, C. Tinelli
- MathematicsHandbook of Satisfiability
- 2 February 2021
TLDR
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions
- Tianyi Liang, Andrew Reynolds, C. Tinelli, C. Barrett, Morgan Deters
- Computer ScienceCAV
- 18 July 2014
TLDR
CVC: A Cooperating Validity Checker
- Aaron Stump, C. Barrett, D. Dill
- Business, Computer ScienceCAV
- 27 July 2002
TLDR
The Marabou Framework for Verification and Analysis of Deep Neural Networks
- Guy Katz, Derek A. Huang, C. Barrett
- Computer ScienceCAV
- 15 July 2019
TLDR
Validity Checking for Combinations of Theories with Equality
- C. Barrett, D. Dill, J. Levitt
- Computer ScienceFMCAD
- 6 November 1996
TLDR
Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT
- C. Barrett, D. Dill, Aaron Stump
- Computer ScienceCAV
- 27 July 2002
TLDR
...
...