Real-time verification of network properties using Atomic Predicates
Header space analysis: Static checking for networks