CVC Lite: A new implementation of the cooperating validity checker (2004)

by C Barrett, S Berezin
Venue:In 29th International Conference on Software Engineering (ICSE'07) 0-7695-2828-7/07 $20.00 © 2007 Proceedings of the 16th International Conference On Computer Aided Verification