Verification of Computer Switching Networks: An Overview
Header space analysis: Static checking for networks