Paper Title
Real Time and Dynamic Verification of Data Plane in Software Defined Networks

Today’s networks are very large in size as well as complex by design. Validating today’s networks against any problem is really cumbersome task with traditional approaches like ping, traceroute, tcpdump, etc. Networks are generally susceptible to problems like loop, black-hole, drop, software bugs and physical failures. Protecting networks from these kind of problems using traditional approaches is complicated and time consuming which is not at all affordable in any enterprise scale networks. To avoid loss caused due to network problems, there is need of tools which can validate network against above said problems in less time as soon as they are introduced in network. In this paper we propose a system which is capable of detecting link failure problems in software defined network (SDN) dynamically. Index Terms— Network verification, dynamic validation, static validation, software defined network.