Лекція з дисципліни «Основи програмної інженерії»
Здобувачі освіти зі спеціальностей 121 Інженерія програмного забезпечення, 122 Комп’ютерні науки, 126 Інформаційні системи та технології факультету комп’ютерних наук, фізики та математики ХДУ в рамках тижня очного навчання в Івано-Франківську відвідали лекцію з дисципліни «Основи програмної інженерії»
Здобувачі освіти зі спеціальностей 121 Інженерія програмного забезпечення, 122 Комп’ютерні науки, 126 Інформаційні системи та технології факультету комп’ютерних наук, фізики та математики ХДУ в рамках тижня очного навчання в Івано-Франківську відвідали лекцію з дисципліни «Основи програмної інженерії», викладач Максим Юрійович Полторацький, доцент кафедри комп’ютерних наук та програмної інженерії, PhD (121Інженерія програмного забезпечення).
В ході лекції було представлено підхід до верифікації коду смарт контрактів засобами системи інсерційного моделювання.
Студентам було представлено переваги даної системи, а також продемонстровано як можна використати IMS для формальної верифікації.
