Methods for contradictions detection in OpenFlow protocol specification

Публікація:
Methods for contradictions detection in OpenFlow protocol specification

dc.contributor.author	Tkachova, O. B.
dc.contributor.author	Abdulghafoor Raed Yahya
dc.date.accessioned	2018-03-21T13:30:33Z
dc.date.available	2018-03-21T13:30:33Z
dc.date.issued	2015
dc.description.abstract	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.	uk_UA
dc.identifier.citation	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.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/4373
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	OpenFlow protocol	uk_UA
dc.title	Methods for contradictions detection in OpenFlow protocol specification	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication