Abstractions for model checking SDN controllers
Header space analysis: Static checking for networks