Title :
Method for detecting errors in logic operation of telecommunication protocols
Author :
Duravkin, Evgenij V. ; Tkacheva, E.B. ; Fawaz, Saied Halawa
Author_Institution :
Kharkiv Nat. Univ. of Radio & Electron., Kharkiv, Ukraine
Abstract :
This paper is devoted to the development of method for detecting the causes of the errors that arise in the operation of protocols for information exchange, which based on the construction of counterexamples.
Keywords :
error detection; protocols; error detection; information exchange; logic operation; telecommunication protocol; Model Checking; behavior of the protocol; compatibility; counterexample; protocol specification;
Conference_Titel :
Modern Problems of Radio Engineering Telecommunications and Computer Science (TCSET), 2012 International Conference on
Conference_Location :
Lviv-Slavske
Print_ISBN :
978-1-4673-0283-8
