CVC: A Cooperating Validity Checker.

Aaron Stump, Clark W. Barrett, David L. Dill

Browse the full CAV paper archive.