HyperExchange: A protocol-agnostic exchange fabric enabling peering of Virtual Networks
Header space analysis: Static checking for networks