Аналіз і верифікація протоколів інформаційних мереж

Анотація

Розглянуто методику моделювання, специфікації і верифікації протоколів інформаційних мереж. Показано спосіб використання автоматної моделі як формальної специфікації комунікаційного протоколу і вихідної моделі для методу перевірки моделей (model checking). Практичним результатом роботи є верифікація протоколу передачі з перевіркою загального доступу до середовища бездротових локальних мереж (IEEE 802.11).