NetKAT

NetKAT -- a formal system for the verification of networks. This paper presents a survey of recent work in the development of NetKAT, a formal system for reasoning about packet switching networks, and its role in the emerging area of software-defined networking.