Beckett, Ryan, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, and David Walker. 2014. “An Assertion Language for Debugging SDN Applications”. In Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, 91–96. ACM.