Formal Foundations for Software Defined Networks

Mark Reitblatt Arjun Guha and Nate Foster
Open Networking Summit (ONS) Research Track, 2013

Our PLDI 2013 paper is the full version of this work.

PDF Slides

@inproceedings{2013-guha-ons,
author = "Arjun Guha, Mark Reitblatt, and Nate Foster",
title = "Formal Foundations for Software Defined Networks",
year = 2013,
booktitle = "Open Networking Summit (ONS) Research Track",

}