Duravkin, E. V.Tkacheva, E. B.Saied, Halawa Fawaz2012-09-212012-09-212012Duravkin E. Method for detecting errors in logic operation of telecommunication protocols / E. V. Duravkin, E. B. Tkacheva, Saied Halawa Fawaz // Сучасні проблеми радіоелектроніки, телекомунікацій, комп’ютерної інженерії : матеріали ХІ Міжнародної конференції TCSET2012, присвяченої 60-річчю заснування радіотехнічного факультету у Львівській політехніці, 21-24 лютого 2012 року, Львів, Славське, Україна / Національний університет «Львівська політехніка». – Львів : Видавництво Львівської політехніки, 2012. – С. 265. – Bibliography: 2 titles.https://ena.lpnu.ua/handle/ntb/14561This 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.encompatibilityprotocol specificationModel Checkingcounterexamplebehavior of the protocolArticle