Method for detecting errors in logic operation of telecommunication protocols
Loading...
Files
Date
2012
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Львівської політехніки
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.
Description
Keywords
compatibility, protocol specification, Model Checking, counterexample, behavior of the protocol
Citation
Duravkin 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.