VeriFlow: Verifying Network-Wide Invariants in Real Time

Title{VeriFlow}: Verifying {Network-Wide} Invariants in Real Time
Publication TypeConference Paper
Year of Publication2013
AuthorsKhurshid A, Zou X, Zhou W, Caesar M, P. Godfrey B
Conference Name10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)
Date Published04/2013
PublisherUSENIX Association
Conference LocationLombard, IL
ISBN Number978-1-931971-00-3
URLhttps://www.usenix.org/conference/nsdi13/technical-sessions/presentation/khurshid