Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Cooperating Validity Checker 1 found (2 total)

alternate case: cooperating Validity Checker

David L. Dill (1,191 words) [view diff] exact match in snippet view article find links to article

early SMT solvers: the Stanford Validity Checker (SVC), the Cooperating Validity Checker (CVC), and the Simple Theorem Prover (STP). And he contributed