Verifying Reachability in Networks with Mutable Datapaths

No ratings

Presented at NSDI 2017 by

Scott Shenker

Katerina Argyraki

Aurojit Panda

Mooly Sagiv

Ori Lahav

N/A