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

by Clark Barrett, Sergey Berezin
Venue:In Proceedings of the 16 th International Conference on Computer Aided Verification, LNCS