Формальное описание функционирования протоколов передачи данных

Abstract

У статті наведено огляд проблеми формальної специфікації та верифікації мережевих протоколів, розглянуто опис протоколу 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.