Verifying Reachability in Networks with Mutable Datapaths.

Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker

Browse the full NSDI paper archive.