Старусев, О. Г.2015-09-102015-09-102005Старусев О. Г. Формальное описание функционирования протоколов передачи данных / Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2005. – № 46. – С. 156-159.https://repository.kpi.kharkov.ua/handle/KhPI-Press/16702У статті наведено огляд проблеми формальної специфікації та верифікації мережевих протоколів, розглянуто опис протоколу ABP із допомогою ряду автоматних формальних методів та наведено ряд міркувань з верифікації мережевих протоколів.In this article, the survey of network protocols formal specification and verification problem was considered. The description of protocol ABP through state charts and pseudo-formal specifications was considered. Also, are resulted some considering of protocols verification.ruалгебраический методконечно-автоматный методнизкая степень абстракциимтод трассовых спецификацийArticle