(Tool Paper)
  • Clark Barrett
  • Cesare Tinelli
Conference paper

DOI: 10.1007/978-3-540-73368-3_34

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4590)
Cite this paper as:
Barrett C., Tinelli C. (2007) CVC3. In: Damm W., Hermanns H. (eds) Computer Aided Verification. CAV 2007. Lecture Notes in Computer Science, vol 4590. Springer, Berlin, Heidelberg


CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecessors and includes many new features such as support for additional theories, an abstract architecture for Boolean reasoning, and SMT-LIB compliance. We describe the system and discuss some applications and continuing work.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Clark Barrett
    • 1
  • Cesare Tinelli
    • 2
  1. 1.New York University 
  2. 2.University of Iowa 

Personalised recommendations