The Stanford Validity Checker

The Stanford Validity Checker (SVC for short) is a research tool to check the validity of formulas expressed in a subset of first-order logic. SVC has been in development at Stanford University for several years, and has been used primarily for the formal verification of hardware designs. SVC is an attractive tool for formal verification because of its efficient and automatic decision procedures.

Information about SVC

WWW interfaces to SVC

Download SVC

Old Versions