Kinetic: verifiable dynamic network control
ANICEWaytoTest OpenFlowApplications