CVC3

Clark Barrett; Cesare Tinelli

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

CVC3

Clark Barrett, Cesare Tinelli

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English (US)
Title of host publication	Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings
Publisher	Springer Verlag
Pages	298-302
Number of pages	5
ISBN (Print)	3540733671, 9783540733676
DOIs	https://doi.org/10.1007/978-3-540-73368-3_34
State	Published - 2007
Event	19th International Conference on Computer Aided Verification, CAV 2007 - Berlin, Germany Duration: Jul 3 2007 → Jul 7 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4590 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	19th International Conference on Computer Aided Verification, CAV 2007
Country/Territory	Germany
City	Berlin
Period	7/3/07 → 7/7/07

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

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

Cite this

CVC3. / Barrett, Clark; Tinelli, Cesare.
Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag, 2007. p. 298-302 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4590 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Barrett, C & Tinelli, C 2007, CVC3. in Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4590 LNCS, Springer Verlag, pp. 298-302, 19th International Conference on Computer Aided Verification, CAV 2007, Berlin, Germany, 7/3/07. https://doi.org/10.1007/978-3-540-73368-3_34

@inproceedings{926aca227bc5458b97acca3c880df852,

title = "CVC3",

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.",

author = "Clark Barrett and Cesare Tinelli",

year = "2007",

doi = "10.1007/978-3-540-73368-3_34",

language = "English (US)",

isbn = "3540733671",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "298--302",

booktitle = "Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings",

note = "19th International Conference on Computer Aided Verification, CAV 2007 ; Conference date: 03-07-2007 Through 07-07-2007",

}

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 -

CVC3

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this