Machine-verified network controllers

@inproceedings{Guha2013MachineverifiedNC,
  title={Machine-verified network controllers},
  author={Arjun Guha and Mark Reitblatt and Nate Foster},
  booktitle={PLDI},
  year={2013}
}
In many areas of computing, techniques ranging from testing to formal modeling to full-blown verification have been successfully used to help programmers build reliable systems. But although networks are critical infrastructure, they have largely resisted analysis using formal techniques. Software-defined networking (SDN) is a new network architecture that has the potential to provide a foundation for network reasoning, by standardizing the interfaces used to express network programs and giving… CONTINUE READING
Highly Cited
This paper has 98 citations. REVIEW CITATIONS

7 Figures & Tables

Topics

Statistics

01020302012201320142015201620172018
Citations per Year

98 Citations

Semantic Scholar estimates that this publication has 98 citations based on the available data.

See our FAQ for additional information.