Conference proceeding
CVC3: Tool Paper
Computer Aided Verification, pp.298-302
Lecture Notes in Computer Science, vol 4590
2007
DOI: 10.1007/978-3-540-73368-3_34
Abstract
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.
Details
- Title: Subtitle
- CVC3: Tool Paper
- Creators
- Clark Barrett - New York University,Cesare Tinelli - University of Iowa,
- Resource Type
- Conference proceeding
- Publication Details
- Computer Aided Verification, pp.298-302
- Publisher
- Springer Berlin Heidelberg; Berlin, Heidelberg
- Series
- Lecture Notes in Computer Science; vol 4590
- DOI
- 10.1007/978-3-540-73368-3_34
- eISSN
- 1611-3349
- ISSN
- 0302-9743
- Language
- English
- Date published
- 2007
- Academic Unit
- Computer Science
- Record Identifier
- 9984259470202771
Metrics
14 Record Views