“CVC Lite: A New Implementation of the Cooperating Validity Checker” by Clark Barrett and Sergey Berezin. In Proceedings of the 16^th International Conference on Computer Aided Verification (CAV '04), (Rajeev Alur and Doron A. Peled, eds.), July 2004, pp. 515-518. Boston, Massachusetts.
BibTeX entry:
@inproceedings{BB04,
author = {Clark Barrett and Sergey Berezin},
editor = {Rajeev Alur and Doron A. Peled},
title = {{CVC L}ite: A New Implementation of the Cooperating Validity
Checker},
booktitle = {Proceedings of the {\it 16^{th}} International Conference
on Computer Aided Verification (CAV '04)},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {515--518},
publisher = {Springer-Verlag},
month = jul,
year = {2004},
note = {Boston, Massachusetts},
url = {http://theory.stanford.edu/~barrett/pubs/BB04.pdf}
}
(This webpage was created with bibtex2web.)