Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad

First Page		Document Content
Date: 2015-04-17 14:02:40		Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad Add to Reading List Source URL: cs.brown.edu Download Document from Source Website File Size: 313,56 KB Share Document on Facebook