Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker. Verifying Reachability in Networks with Mutable Datapaths. In Aditya Akella, Jon Howell, editors, 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017, Boston, MA, USA, March 27-29, 2017. pages 699-718, USENIX Association, 2017. [doi]
Abstract is missing.