Correct by Construction Networks Using Stepwise Refinement
A Coalgebraic Decision Procedure for NetKAT