Paper Info
Title
CVC4
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.
Year
DOI
Venue
2011
10.1007/978-3-642-22110-1_14
CAV
Keywords
DocType
Citations 
joint project,additional decision procedure,U Iowa,decision procedure,system architecture,CVC4 aim,higher-performing tool,algorithmic advance,core system architecture,Cooperating Validity Checker
Conference
47
PageRank 
References 
Authors
1.43
9
8
Name
Order
Citations
PageRank
Clark Barrett11268108.65
Christopher L. Conway21205.33
Morgan Deters328317.25
Liana Hadarean4663.57
Dejan Jovanović51488.62
Tim King6472.10
Andrew Reynolds721214.79
Cesare Tinelli8140979.86