A formal model and verification problems for Software Defined Networks.
Software Defined Networking (SDN) is an approach to building computer networks that separate and abstract data planes and control planes of these systems. In a SDN a centralized controller manages a distributed set of switches. A set of open commands for packet forwarding and flow table updating was defined in the form of a protocol known as OpenFlow. In this paper we describe an abstract formal model of SDN, introduce a tentative language for specification of SDN forwarding policies, and set up formally model-checking problems for SDNs.
Automatic Control and Computer Sciences, Allerton Press Inc. (United States), 2014, vol. 48, № 7, pp. 398-406.