Formal Modeling and Verification of SDN-OpenFlow

Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi. Formal Modeling and Verification of SDN-OpenFlow. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Luxembourg, Luxembourg, March 18-22, 2013. pages 481-482, IEEE, 2013. [doi]

Abstract

Abstract is missing.