Toggle navigation
15-811: Verifying Complex Systems
Home
Syllabus
Schedule
Tools
Assignments
Projects
17sp
Lecture: Networks: Header space
Date: 4/26/17
Reading
Required reading:
Header Space Analysis: Static Checking For Networks
, Peyman Kazemian, George Varghese, and Nick McKeown,
NSDI
, 2012.