Kinetic: verifiable dynamic network control
VeriCon: towards verifying controller programs in software-defined networks