A Software Engineering Perspective on SDN Programmability
Kinetic: verifiable dynamic network control