Massive Proofs for the Masses

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a thought-provoking 21-minute conference talk by Byron Cook, presented at ACM SIGPLAN's O'HearnFest, delving into the concept of "Massive proofs for the masses." Gain insights into cutting-edge developments in formal verification and proof systems, and discover how these advancements are making complex mathematical proofs more accessible to a wider audience.

Syllabus

[O'HearnFest] Massive proofs for the masses

Taught by

ACM SIGPLAN

Related Courses

SPARK 2014
AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube