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

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