Header Space Analysis: Static Checking for Networks.

Peyman Kazemian, George Varghese, Nick McKeown

Browse the full NSDI paper archive.