• DocumentCode
    3712520
  • Title

    Method for OpenFlow protocol verification

  • Author

    Olena Tkachova;Isaam Saad

  • Author_Institution
    Telecommunication system department, Kharkov National University of Radio Electronics, Kharkov, Ukraine
  • fYear
    2015
  • Firstpage
    139
  • Lastpage
    140
  • 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"
  • Publisher
    ieee
  • Conference_Titel
    Problems of Infocommunications Science and Technology (PIC S&T), 2015 Second International Scientific-Practical Conference
  • Type

    conf

  • DOI
    10.1109/INFOCOMMST.2015.7357295
  • Filename
    7357295
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3712520