PGA: Using Graphs to Express and Automatically Reconcile Network Policies
Kinetic: verifiable dynamic network control