Completed
Specification challenge
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
VerX: Safety Verification of Smart Contracts
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Motivation
- 3 Functional correctness
- 4 Correctness of Smart contract
- 5 Requirements formalization
- 6 VerX specification language
- 7 Specification challenge
- 8 Effective external callback freedom
- 9 Verification recipe
- 10 Delayed predicate abstraction
- 11 Symbolic execution + predicate abstraction
- 12 Automated formal verification with VerX
