SFC-Checker: Checking the correct forwarding behavior of Service Function chaining
Header space analysis: Static checking for networks