Software Dataplane Verification.

Mihai Dobrescu, Katerina J. Argyraki

Browse the full NSDI paper archive.