USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017


Article Details
Title: Correct by Construction Networks Using Stepwise Refinement
Article URLs:
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:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/nsdi/RyzhykBCJSTV17
Author Comments:

Discuss this paper and its artifacts below