Network Verification in the Light of Program Verification
FlowChecker: configuration analysis and verification of federated openflow infrastructures