Title :
Method for OpenFlow protocol verification
Author :
Olena Tkachova;Isaam Saad
Author_Institution :
Telecommunication system department, Kharkov National University of Radio Electronics, Kharkov, Ukraine
Abstract :
This paper is devoted to SDNs verification. The main problems in deployment and maintenance process are analyzed. Methods of formal verification are suggest as way to check correctness and corresponds to the requirement. The modification of Model Checking proposed for verification the main feature of OpenFlow protocol.
Keywords :
"Protocols","Unified modeling language","Formal verification","Model checking","Analytical models","Prototypes"
Conference_Titel :
Problems of Infocommunications Science and Technology (PIC S&T), 2015 Second International Scientific-Practical Conference
DOI :
10.1109/INFOCOMMST.2015.7357295
