Book chapter
CVC4
Computer Aided Verification, pp.171-177
Lecture Notes in Computer Science, Springer Berlin Heidelberg
2011
DOI: 10.1007/978-3-642-22110-1_14
Abstract
CVC4 is the latest version of the Cooperating Validity Checker. A joint project of NYU and U Iowa, CVC4 aims to support the useful feature set of CVC3 and SMT-LIBv2 while optimizing the design of the core system architecture and decision procedures to take advantage of recent engineering and algorithmic advances. CVC4 represents a completely new code base; it is a from-scratch rewrite of CVC3, and many subsystems have been completely redesigned. Additional decision procedures for CVC4 are currently under development, but for what it currently achieves, it is a lighter-weight and higher-performing tool than CVC3. We describe the system architecture, subsystems of note, and discuss some applications and continuing work.
Details
- Title: Subtitle
- CVC4
- Creators
- Clark Barrett - New York University, USAChristopher L. Conway - New York University, USAMorgan Deters - New York University, USALiana Hadarean - New York University, USADejan Jovanović - New York University, USATim King - New York University, USAAndrew Reynolds - University of IowaCesare Tinelli - University of Iowa
- Resource Type
- Book chapter
- Publication Details
- Computer Aided Verification, pp.171-177
- Publisher
- Springer Berlin Heidelberg; Berlin, Heidelberg
- Series
- Lecture Notes in Computer Science
- DOI
- 10.1007/978-3-642-22110-1_14
- eISSN
- 1611-3349
- ISSN
- 0302-9743
- Language
- English
- Date published
- 2011
- Academic Unit
- Computer Science
- Record Identifier
- 9984259438402771
Metrics
5 Record Views