12 листопада на факультеті комп’ютерних наук, фізики та математики відбулася відкрита онлайн-лекція на тему «Формальна верифікація байткоду Ethereum Virtual Machine методом інсерційного моделювання А.А. Летичевського».
Лектором був аспірант факультету комп’ютерних наук, фізики та математики освітньо-наукової програми Інженерія програмного забезпечення - Віктор Рудь.
Лекція була присвячена надзвичайно актуальній проблемі сучасної кібербезпеки та Computer Science — забезпеченню надійності програмного коду в блокчейн-системах. Віктор Рудь презентував глибокий аналіз того, як класичні методи вітчизняної школи кібернетики можуть бути адаптовані до новітніх технологій.
Мова йшла про:
🔹 Про Letichevsky Insertion Modeling System (LIMS).
🔹 Чим відрізняються Model Checking та SMT-солвери.
🔹 Як математично довести, що у смарт-контракті немає помилок.
🔹 Про інструменти VerX, Certora та їх порівняння.
Дякуємо Віктору за змістовну доповідь та популяризацію наукових досліджень на факультеті!
Можливості: Версія для друку Відправити другу