“CVC3” by Clark Barrett and Cesare Tinelli. In Proceedings of the 19^th International Conference on Computer Aided Verification (CAV '07), (Werner Damm and Holger Hermanns, eds.), July 2007, pp. 298-302. Berlin, Germany.
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.
BibTeX entry:
@inproceedings{BT07,
author = {Clark Barrett and Cesare Tinelli},
editor = {Werner Damm and Holger Hermanns},
title = {{CVC3}},
booktitle = {Proceedings of the {\it 19^{th}} International Conference
on Computer Aided Verification (CAV '07)},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {298--302},
publisher = {Springer-Verlag},
month = jul,
year = {2007},
note = {Berlin, Germany},
url = {http://theory.stanford.edu/~barrett/pubs/BT07.pdf}
}
(This webpage was created with bibtex2web.)