CVC Lite: A New Implementation of the Cooperating Validity Checker

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://www.cs.nyu.edu/~barrett/pubs/BB04.pdf}
}

(This webpage was created with bibtex2web.)