Marktoberdorf
Summer School Lectures
on
Machine-Assisted Specification and Verification
This page contains pointers to the transparencies for the Marktoberdorf Summer School given by
Natarajan Shankar.
Lecture 1: Machine-Assisted Specification and Verification
Lecture 2: Abstract Datatypes in PVS
Lecture 3: Mechanizing Program Transformation using PVS
Lecture 4: Hardware Verification using PVS
Lecture 5: Majority and Byzantine Agreement
Lecture 6: Verifying Real-Time Systems
Lecture 7: Integrating Theorem Proving and Model Checking