Представлено концепцію і методологію доказової незалежної верифікації критичного програмного забезпечення (ПО), основаної на кількісних оцінках ступеня різноманітності методів верифікації. Концепція полягає у використанні методу диверсифікованого вимірювання семантичних, інтервально-точнісних, логічних та інших інваріантів ПО на платформі статичного аналізу первинних текстів ПО.

Космічна наука і технологія [Текст] : наук. - практ. журн. / Нац. косм. агентство України, Нац. акад. наук України. — К.

• УДК // Космічна техніка. Космонавтика. Космічні апарати
• УДК // Програмне забезпечення
• Праці співробітників ХАІ // Харченко В.С./Kharchenko V.S.