Correct by Construction Networks Using Stepwise Refinement
SymNet: Scalable symbolic execution for modern networks