Наука та блокчейн: на ФКНФМ відбулася лекція про верифікацію байткоду методом інсерційного моделювання А.А. Летичевського

12 листопада на факультеті комп’ютерних наук, фізики та математики відбулася відкрита онлайн-лекція на тему «Формальна верифікація байткоду Ethereum Virtual Machine методом інсерційного моделювання А.А. Летичевського».

Лектором був аспірант факультету комп’ютерних наук, фізики та математики освітньо-наукової програми Інженерія програмного забезпечення - Віктор Рудь.

Лекція була присвячена надзвичайно актуальній проблемі сучасної кібербезпеки та Computer Science — забезпеченню надійності програмного коду в блокчейн-системах. Віктор Рудь презентував глибокий аналіз того, як класичні методи вітчизняної школи кібернетики можуть бути адаптовані до новітніх технологій.

Мова йшла про:

🔹 Про Letichevsky Insertion Modeling System (LIMS).

🔹 Чим відрізняються Model Checking та SMT-солвери.

🔹 Як математично довести, що у смарт-контракті немає помилок.

🔹 Про інструменти VerX, Certora та їх порівняння.

Дякуємо Віктору за змістовну доповідь та популяризацію наукових досліджень на факультеті!