В статье анализируются существующие проблемы инженерии программного обеспечения, обусловленные сложностью современных программ и параллельностью выполнения взаимодействующих процессов. Выполнен обзор формальных методов разработки и верификации, позволяющих доказать соответствие моделей программ и систем формальным требованиям. Рассмотрены особенности мептода формальной верификации Model Checking и его развтие для верификации диаграмм состояний UML.

Системи обробки інформації [Текст] / М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба ; редкол.: Стрєлков О. І. (голова) та ін. — Харків : ХУПС ім. І. Кожедуба, 2008. — 156 с.

• Праці співробітників ХАІ // Горбенко А.В./Gorbenko A.
• УДК // Надійність і точність
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• Праці співробітників ХАІ // Тарасюк О.М.