Completed
Programming and proving
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
How to Trust a Verified Program - Challenges and Solutions in Program Verification
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Program verification in a nutshell
- 3 Specifications
- 4 Programming and proving
- 5 Theoretical problems in type theory
- 6 Implementation problems
- 7 Another theoretical problem...
- 8 Implementation consequences...
- 9 Type theory - a language for programs & proofs - in theory...
- 10 Problems with transpilation
- 11 Compilation may change semantics
- 12 Certified compilation for smart contracts
- 13 Specifying the compiler: translation relations
- 14 Example: inlining
- 15 Certification
- 16 Perspectives for trustworthy verified programs
