Completed
Modular, three-stage framework Incrementally
Class Central Classrooms beta
YouTube videos 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