Correct by Construction Networks Using Stepwise Refinement

  title={Correct by Construction Networks Using Stepwise Refinement},
  author={Leonid Ryzhyk and Nikolaj Bj\orner and Marco Canini and Jean-Baptiste Jeannin and Cole Schlesinger and Douglas B. Terry and George Varghese},
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. A Cocoon user specifies intermediate design levels in a hierarchical design process that delineates the modularity in complicated network forwarding… CONTINUE READING