System Introductions I - PVS

Offered By: Hausdorff Center for Mathematics via YouTube

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

Introduction to Mathematical Thinking
Stanford University via Coursera Paradox and Infinity
Massachusetts Institute of Technology via edX Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity Discrete Mathematics
Shanghai Jiao Tong University via Coursera Introduction au raisonnement mathématique : préparation à l'entrée dans l'enseignement supérieur
École Polytechnique via France Université Numerique