NV: an intermediate language for verification of network control planes.

Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker

Browse the full PLDI paper archive.