Verifying Reachability in Networks with Mutable Datapaths

TitleVerifying Reachability in Networks with Mutable Datapaths
Publication TypeConference Paper
Year of Publication2017
AuthorsPanda A, Lahav O, Argyraki K, Sag, iv M, Shenker S
Conference Name14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)
Date Published03/2017
PublisherUSENIX Association
Conference LocationBoston, MA
ISBN Number978-1-931971-37-9
URLhttps://www.usenix.org/conference/nsdi17/technical-sessions/presentation/panda-mutable-datapaths