Delta-net: Real-time Network Verification Using Atoms
FlowChecker: configuration analysis and verification of federated openflow infrastructures