2016 Volume 33 Issue 2 Pages 2_26-2_42
Software-Defined Networking (SDN) is attractive as an efficient and flexible networking architecture to realize automatic network management and high level services. However, users require efficient developing method and reliable software for SDN/OpenFlow. Recently, researchers in software verification started to verify correctness and security properties of networks in the SDN architecture by applying formal methods. We show the research field of SDN/OpenFlow as a new stage for applying formal methods, and discuss its problems and future works.