An assertion language for debugging SDN applications
Header space analysis: Static checking for networks