Data Plane Programmability Beyond OpenFlow: Opportunities and Challenges for Network and Service Operations and Management
Header space analysis: Static checking for networks