Correct by Construction Networks Using Stepwise Refinement

Article Details
Title:	Correct by Construction Networks Using Stepwise Refinement
Article URLs:	https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/ryzhyk
Alternative Article URLs:
Authors:	Leonid Ryzhyk	VMware Research Group
	Nikolaj Bjørner	Microsoft Research
	Marco Canini	King Abdullah University of Science and Technology
	Jean-Baptiste Jeannin	Samsung Research America
	Cole Schlesinger	Barefoot Networks
	Douglas B. Terry	Amazon
	George Varghese	University of California - Los Angeles
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/ryzhyk/cocoon
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/nsdi/RyzhykBCJSTV17
Author Comments:

USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017