CVC3

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4590 LNCS, Issue , 2007, Pages 298-302

  Barrett, Clark ^a   Tinelli, Cesare ^b  

^a NEW YORK UNIVERSITY   (United States)

^b UNIVERSITY OF IOWA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING; SOFTWARE ARCHITECTURE;

BOOLEAN REASONING; COOPERATING VALIDITY CHECKER;

MODEL CHECKING;

EID: 38149123956     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73368-3_34     Document Type: Conference Paper

References (13)

1. Barrett, C., Berezin, S.: CVC Lite: A new implementation of the cooperating validity checker. In: CAV, pp. 515-518 (2004)
2. Barrett, C., Fang, Y., Goldberg, B., Hu, Y., Pnueli, A., Zuck, L.: TVOC: A translation validator for optimizing compilers. In: CAV, pp. 291-295 (2005)
3. Barrett, C., Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Splitting on demand in SAT modulo theories. In: LPAR (2006)
4. Barrett, C., Shikanian, I., Tinelli, C.: An abstract decision procedure for satisfiability in the theory of recursive data types. In: PDPAR (2006)
5. Barrett, C.W., Dill, D.L., Levitt, J.R.: Validity checking for combinations of theories with equality. In: FMCAD, pp. 187-201 (1996)
6. Detlefs, D.L., Nelson, G., Saxe, J.B.: Simplify: A theorem-prover for program checking. Technical Report HPL-2003-148, HP System Research Center (2003)
7. Eén, N., Sörensson, N.: An extensible sat-solver. In: SAT (2003)
8. Filliâtre, J.-C., Marché, C.: Multi-Prover Verification of C Programs. In: ICFEM, pp. 15-29 (2004)
9. Ge, Y., Barrett, C., Tinelli, C.: Solving quantified verification condisions using satisfiability modulo theories. In: CADE July 2007 (to appear)
10. McLaughlin, S., Barrett, C., Ge, Y.: Cooperating theorem provers: A case study combining HOL-Light and CVC Lite. In: PDPAR, pp. 43-51 (2006)
11. Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an Efficient SAT Solver. In: DAC (2001)
12. Stump, A., Barrett, C.W., Dill, D.L.: CVC: A cooperating validity checker. In: CAV, pp. 500-504 (2002)
13. Tiu, A., Barsotti, D., Prensa, L.: Verification of clock synchronization algorithms: Experiments on a combination of deductive tools. In: AVOCS (2005)