YoVDO

System Introductions I - PVS

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Formal Verification Courses Computer Science Courses Engineering Courses Mathematical Proofs Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the Prototype Verification System (PVS) in this informative 25-minute lecture presented by Sam Owre at the Hausdorff Center for Mathematics. Gain insights into the fundamental concepts and applications of PVS, a powerful tool for formal verification and theorem proving. Learn about the system's architecture, key features, and how it can be utilized to enhance software reliability and mathematical proofs. Discover the potential of PVS in various fields, including computer science, mathematics, and engineering, as Owre provides a comprehensive introduction to this essential verification system.

Syllabus

Sam Owre: System Introductions I - PVS


Taught by

Hausdorff Center for Mathematics

Related Courses

Probabilistic Graphical Models 1: Representation
Stanford University via Coursera Computer Security
Stanford University via Coursera Intro to Computer Science
University of Virginia via Udacity Introduction to Logic
Stanford University via Coursera Internet History, Technology, and Security
University of Michigan via Coursera