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

• Харченко Вячеслав Сергійович (технічні науки)
• Харченко Валентина Сергіївна (технічні науки)
• Харченко Віталіна Сергіївна (біологічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"