Completed
Finding Bugs
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Abstraction Engineering with the Prototype Verification System (PVS) - Introduction to Interactive Theorem Proving
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Abstraction Engineering
- 3 Modern Software Stack
- 4 Classes of Abstractions
- 5 PBS
- 6 PBS Development
- 7 PBS Timeline
- 8 Formalism
- 9 PBS Libraries
- 10 Subtyping
- 11 Partial Functions
- 12 PVS Language
- 13 Expressions
- 14 Rounding
- 15 Theory of Functions
- 16 Proof Obligation Generation
- 17 Proof Application
- 18 Finding Bugs
- 19 Weaponizing Subtyping
- 20 Dependent Record
- 21 Tasky Translate Theorem
- 22 Group Homomorphism
- 23 Standalone executable code
- 24 PBS features
- 25 Conclusion
- 26 VS Code
