Authors
Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B Terry, George Varghese
Publication date
2017
Conference
14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)
Pages
683-698
Description
Building software-defined network controllers is an exercise in software development and, as such, likely to introduce bugs. We present Cocoon, a framework for SDN development that facilitates both the design and verification of complex networks using stepwise refinement to move from a high-level specification to the final network implementation.
Scholar articles
L Ryzhyk, N Bjørner, M Canini, JB Jeannin… - 14th USENIX Symposium on Networked Systems …, 2017