English Cooperating Validity Checker Cited by user Citation bot on 15 Feb 2024 In computer science and mathematical logic, Cooperating Validity Checker (CVC) is a family of satisfiability modulo theories (SMT) solvers.