Methods for contradictions detection in OpenFlow protocol specification
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Methods for contradictions detection in OpenFlow protocol specification
|
|
| Creator |
Tkachova, O. B.
Abdulghafoor Raed Yahya |
|
| Subject |
OpenFlow protocol
|
|
| Description |
Methods of contradictions detectin in the requirements of the OpenFlow protocol specification are offered: the method of successive comparison of formalism requirements and the method of construction of the reachability tree of protocol states graph. The method of sequential detection and collation of all specification formalisms that containe the statement being verified makes it possible to solve effectively a number of narrowly focused tasks. The method for checking the reachability of the graph of states corresponding to the requirements of the specification, which makes it possible to identify all the multiple contradictions within the specification or its fragment. |
|
| Date |
2018-03-21T13:30:33Z
2018-03-21T13:30:33Z 2015 |
|
| Type |
Article
|
|
| Identifier |
Tkachova O. B. Methods for contradictions detection in OpenFlow protocol specification / O. B. Tkachova, Abdulghafoor Raed Yahya // Radiotekhnika : All-Ukr. Sci. Interdep. Mag. – 2015. – №183. – P. 53 – 58.
http://openarchive.nure.ua/handle/document/4373 |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|