Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2219
Title: Method for OpenFlow Protocol Verification
Authors: Tkachova, O.
Saad, I.
Keywords: TELECOMMUNICATIONS
OpenFlow
Model Checking
virafication
simbolic execution
Software-Defined Networking
Issue Date: 2015
Publisher: KHARKIV NATIONAL UNIVERSITY OF RADIO ELECTRONICS
Citation: Second International Scientific-Practical Conference «Problems of Infocommunications. Science and Technology» PIC S&T`2015
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
URI: http://openarchive.nure.ua/handle/document/2219
Appears in Collections:Кафедра інфокомунікаційної інженерії (ІКІ)

Files in This Item:
File Description SizeFormat 
picst15_4_10.pdf386.95 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Admin Tools