An assertion language for debugging SDN applications.

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

Browse the full SIGCOMM paper archive.