Correct by Construction Networks Using Stepwise Refinement.

Leonid Ryzhyk, Nikolaj S. Bjrner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese

Browse the full NSDI paper archive.