Automated Modular Program Verification - From Testing to Mathematical Proofs

Automated Modular Program Verification - From Testing to Mathematical Proofs

INSAIT Institute via YouTube Direct link

Building a Program Verifier

4 of 9

4 of 9

Building a Program Verifier

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Automated Modular Program Verification - From Testing to Mathematical Proofs

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Intro
  2. 2 The Zune Bug
  3. 3 Program Verification
  4. 4 Building a Program Verifier
  5. 5 The Viper Verification System
  6. 6 Scion Internet Architecture
  7. 7 Verified Secure Routing
  8. 8 Scion Implementation
  9. 9 Research Challenges

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.