Alex Horn, Ali Kheradmand, Mukul R. Prasad. Delta-net: Real-time Network Verification Using Atoms. 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 735-749, USENIX Association, 2017. [doi]
Abstract is missing.