Network Verification

Established: January 4, 2016

We are building a set of tools for dealing with network failures. Initial work with colleagues at Stanford includes an abstraction of the data plane of network boxes using a geometric model called Header Space. Using header space we have built some simple tools for static checking of networks, and dynamic testing using automatically generated probe packets that can test for correctness and even performance. The hope is to generalize these tools to a repertoire that help manage real networks



  • Karthick Jayaraman, Microsoft Azure
  • Gordon Plotkin, University of Edinburgh
  • Todd Millstein, UCLA


  • Ari Fogel, UCLA, 2013, 2014
  • Mingchen Zhao, U Penn, 2013
  • Garvit Juniwal, UC Berkeley, 2014