SFC-Checker: Checking the correct forwarding behavior of Service Function chaining
Modular SDN Programming with Pyretic