DocumentCode
695187
Title
Tutorial: Practical verification of network programs
Author
Foster, Nate ; Guha, Arjun ; Reitblatt, Mark ; Schlesinger, Cole
Author_Institution
Cornell Univ., Ithaca, NY, USA
fYear
2013
fDate
20-23 Oct. 2013
Firstpage
9
Lastpage
10
Abstract
In this tutorial, we will show participants how to program software defined networks (SDN) in a modular way, using Frenetic´s abstractions. We will build several realistic network applications from the ground up, and also learn to use more sophisticated modules, such as NAT and MAC-learning, which are part of the Frenetic standard library. We will also look under the hood to see how the Frenetic compiler and runtime system work.
Keywords
high level languages; program compilers; program verification; software defined networking; Frenetic abstractions; Frenetic compiler; Frenetic runtime system; Frenetic standard library; MAC-learning; NAT; SDN; high-level language; network program verification; software defined networks; Complexity theory; Computer bugs; Educational institutions; Programming; Protocols; Software; Tutorials;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods in Computer-Aided Design (FMCAD), 2013
Conference_Location
Portland, OR
Type
conf
DOI
10.1109/FMCAD.2013.7035518
Filename
7035518
Link To Document