Completed
Existing control plane verifiers
Class Central Classrooms beta
YouTube playlists curated by Class Central.
Classroom Contents
Differential Network Analysis
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Existing control plane verifiers
- 3 Changes are often small Analyzing from scratch is wasteful
- 4 Hard to select properties to reverify
- 5 Make differences first class citizens!
- 6 Differential control plane simulation
- 7 Modular, three-stage framework Incrementally
- 8 Evaluation: end-to-end
- 9 Evaluation: three stages
- 10 Evaluation: generality & scalability
