Differential Provenance: Better Network Diagnostics with Reference Events
Header space analysis: Static checking for networks