Ivannikov Institute for System Programming of the RAS

A formal model and verification problems for Software Defined Networks.


Chemeritsky E.V., Smeliansky R.L., Zakharov V.A.


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.

Text of article


software defined network, switch, controller, forwarding rule, packet, formal model, specification, model checking


Automatic Control and Computer Sciences, Allerton Press Inc. (United States), 2014, vol. 48, № 7, pp. 398-406.

Research Group

Theoretical Computer Science

All publications during 2014 All publications