Search the dblp DataBase

Publications of Author

1. Nikhil Sethi, Clark Barrett
   cascade: C Assertion Checker and Deductive Engine. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:166-169 [Conf]
   
2. Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
   Splitting on Demand in SAT Modulo Theories. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:512-526 [Conf]
   
3. Sean McLaughlin, Clark Barrett, Yeting Ge
   Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:43-51 [Journal]
   
4. Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark Aagaard, Clark Barrett, Don Syme
   An industrially effective environment for formal hardware verification. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:9, pp:1381-1405 [Journal]
   
5. Yeting Ge, Clark Barrett, Cesare Tinelli
   Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
   CADE, 2007, pp:167-182 [Conf]
   
6. Clark Barrett, Cesare Tinelli
   CVC3. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:298-302 [Conf]
   
7. Clark Barrett, Igor Shikanian, Cesare Tinelli
   An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:8, pp:23-37 [Journal]
   
8. 
   Verifying Low-Level Implementations of High-Level Datatypes. [Citation Graph (, )][DBLP]
   
   
9. 
   Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. [Citation Graph (, )][DBLP]