Proof-based Verification of Software Defined Networks
Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo · 2014
Software defined network (SDN) eases the task of programming and managing computer networks. The conceptually centralized nature of the control plane provides a holistic view of the network, thereby making it feasible to verify SDN’s functionalities. Verification of SDN is gaining attention in the last few years [1, 5]. There are two main challenges of SDN: (1) SDNs are often programmed in general-purpose programming languages (e.g. Java, Python),