How to Trust a Verified Program - Challenges and Solutions in Program Verification

How to Trust a Verified Program - Challenges and Solutions in Program Verification

ACM SIGPLAN via YouTube Direct link

Certification

15 of 16

15 of 16

Certification

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. 1 Intro
  2. 2 Program verification in a nutshell
  3. 3 Specifications
  4. 4 Programming and proving
  5. 5 Theoretical problems in type theory
  6. 6 Implementation problems
  7. 7 Another theoretical problem...
  8. 8 Implementation consequences...
  9. 9 Type theory - a language for programs & proofs - in theory...
  10. 10 Problems with transpilation
  11. 11 Compilation may change semantics
  12. 12 Certified compilation for smart contracts
  13. 13 Specifying the compiler: translation relations
  14. 14 Example: inlining
  15. 15 Certification
  16. 16 Perspectives for trustworthy verified programs

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.