Публікація:
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

DOI