PVS Tutorial Offered

Associate Professor Ali Ebnenasir (CS) and PhD student Amer Tahat (CS) will be conducting tutorials on the Prototype Verification System (PVS) at 4:30 p.m., Monday, Nov. 19, in Rekhi 101. Space is limited, so arrive early.

The PVS is one of the premier theorem provers developed at the Stanford Research Institute. This tutorial provides a basic understanding of PVS along with elementary techniques for the verification of computing systems in theorem proving. PVS has been used in the verification of numerous real-world applications such as Aircraft Transportation and Navigation Systems, Nuclear Plants Safety Systems and Spacecraft Autonomy and AI Planning.

This tutorial will be offered for faculty researchers and graduate students with generous technical support from the Formal Methods group at NASA Langley and the PVS group at SRI. Prerequisites include preliminary knowledge of propositional and predicate logics.

For more information, see Research.

If you have any questions, contact Ebnenasir at 487-4372 or aebnenas@mtu.edu .

Published in Tech Today