Data centers, the critical infrastructure underpinning Cloud computing, often employ Software-Defined Networks (SDN) to manage cluster, wide-area and enterprise networks. As network forwarding in SDN is dynamically programmed by controllers, it crucial ensure that controller intent correctly translated into underlying rules. Therefore, detecting locating anomalies a fundamental problem producti...