Abstractions for network update
Header space analysis: Static checking for networks