Публікація: Method for OpenFlow Protocol Verification
Завантаження...
Дата
2015
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
KHARKIV NATIONAL UNIVERSITY OF RADIO ELECTRONICS
Анотація
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
Опис
Ключові слова
TELECOMMUNICATIONS, OpenFlow, Model Checking, virafication, simbolic execution, Software-Defined Networking
Бібліографічний опис
Second International Scientific-Practical Conference «Problems of Infocommunications. Science and Technology» PIC S&T`2015