Network Verification

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