Brendan Tschaen, Ying Zhang, Theophilus Benson, Sujata Banerjee, Jeongkeun Lee, Joon-Myung Kang. SFC-Checker: Checking the correct forwarding behavior of Service Function chaining. In 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), Palo Alto, CA, USA, November 7-10, 2016. pages 134-140, IEEE, 2016. [doi]
Abstract is missing.