CVC: a Cooperating Validity Checker (2002)

by Aaron Stump, Clark W. Barrett, David L. Dill
Venue:In 14th International Conference on Computer-Aided Verification