VeriFlow: verifying network-wide invariants in real time

Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, Brighten Godfrey. VeriFlow: verifying network-wide invariants in real time. In Nick Feamster, Jennifer Rexford, editors, Proceedings of the first workshop on Hot topics in software defined networks, HotSDN@SIGCOMM 2012, Helsinki, Finland, August 13, 2012. pages 49-54, ACM, 2012. [doi]

Abstract

Abstract is missing.