Correct by Construction Networks Using Stepwise Refinement

TitleCorrect by Construction Networks Using Stepwise Refinement
Publication TypeConference Paper
Year of Publication2017
AuthorsRyzhyk L, Bjørner N, Canini M, Jeannin J-B, Schlesinger C, Terry DB, Varghese G
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/ryzhyk