An assertion language for debugging SDN applications

Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker
2014 Proceedings of the third workshop on Hot topics in software defined networking - HotSDN '14  
doi:10.1145/2620728.2620743 dblp:conf/sigcomm/BeckettZZMRW14 fatcat:pf7u73643jfctmy5j5vmtfo724