Ivannikov Institute for System Programming of the RAS

On the update problems for Software Defined Networks.


V.A. Zakharov, E.V. Chemeritsky

Full text of the paper in pdf (in Russian)


software defined network, switch, controller, forwarding rule, packet, network update, route, post-condition, invariant

Research Group

Theoretical Computer Science

All publications during 2014 All publications