A Coalgebraic Decision Procedure for NetKAT
ANICEWaytoTest OpenFlowApplications