A network-state management service
Header space analysis: Static checking for networks