One tool to rule them all: a modular troubleshooting framework for SDN (and other) networks
Header space analysis: Static checking for networks