Config2Spec - Mining Network Specifications from Network Configurations

Config2Spec - Mining Network Specifications from Network Configurations

USENIX via YouTube Direct link

Dataplane Analysis

8 of 11

8 of 11

Dataplane Analysis

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Config2Spec - Mining Network Specifications from Network Configurations

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

  1. 1 Intro
  2. 2 Specification
  3. 3 Writing a Specification
  4. 4 Policy Analysis
  5. 5 Dense and Sparse Violations
  6. 6 Conflict is Back
  7. 7 Candidate Space
  8. 8 Dataplane Analysis
  9. 9 Verification
  10. 10 Performance
  11. 11 Environment Selection

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.