An assertion language for debugging SDN applications

Author

Ryan Beckett, Xuan Kelvin Zou, Shuyuan Zhang, Sharad Malik, Jennifer Rexford, David Walker

Publication Year

2014

Type

Conference Paper

Conference Name

Proceedings of the third workshop on Hot topics in software defined networking

Publisher

ACM