Method for OpenFlow Protocol Verification
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Method for OpenFlow Protocol Verification
|
|
| Creator |
Tkachova, O.
Saad, I. |
|
| Subject |
TELECOMMUNICATIONS
OpenFlow Model Checking virafication simbolic execution Software-Defined Networking |
|
| Description |
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
|
|
| Date |
2016-09-07T07:49:26Z
2016-09-07T07:49:26Z 2015 |
|
| Type |
Conference proceedings
|
|
| Identifier |
Second International Scientific-Practical Conference «Problems of Infocommunications. Science and Technology» PIC S&T`2015
http://openarchive.nure.ua/handle/document/2219 |
|
| Language |
en
|
|
| Publisher |
KHARKIV NATIONAL UNIVERSITY OF RADIO ELECTRONICS
|
|