Header Space Analysis: Static Checking for Networks

Peyman Kazemian, George Varghese, Nick McKeown. Header Space Analysis: Static Checking for Networks. In Steven D. Gribble, Dina Katabi, editors, Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012, San Jose, CA, USA, April 25-27, 2012. pages 113-126, USENIX Association, 2012. [doi]

Abstract

Abstract is missing.