TY - GEN
T1 - CVC3
AU - Barrett, Clark
AU - Tinelli, Cesare
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38149123956&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38149123956&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-73368-3_34
DO - 10.1007/978-3-540-73368-3_34
M3 - Conference contribution
AN - SCOPUS:38149123956
SN - 3540733671
SN - 9783540733676
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 298
EP - 302
BT - Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings
PB - Springer Verlag
T2 - 19th International Conference on Computer Aided Verification, CAV 2007
Y2 - 3 July 2007 through 7 July 2007
ER -