Доведена необхідність створення незалежної верифйікації, що базується на контролі семантичних інваріантів. Проведено аналіз статистичних характеристик програмного забезпечення. Обгрунтовано використання апарату теорії випадкових процесів для побудови моделі аналізу семантичних дефектів.

Інженерія програмного забезпечення [Текст] : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет // Інженерія програмного забезпечення. 2 ; Мінстерство освіти і науки України національний авіаційний університет - К. — К., 2010.

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• Праці співробітників ХАІ // Манжос Ю.С./Manzhos Y.
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ