Title: A Tutorial on Theorem Proving in the Prototype Verification System (PVS) Abstract: This tutorial will be offered for faculty members and graduate students whose research involves any sort of logical reasoning that can be expressed in predicate logic. The Prototype Verification System (PVS) is one of the premier theorem provers developed at the Stanford . . .
