Abstractions for model checking SDN controllers
Abstractions for network update