Machine-verified network controllers

  title={Machine-verified network controllers},
  author={Arjun Guha and Mark Reitblatt and Nate Foster},
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



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.