Статтю завідувача відділу теорії цифрових автоматів Інституту кібернетики ім. В.М. Глушкова НАН України доктора фізико-математичних наук Олександра Летичевського присвячено науковим розробкам Інституту, пов’язаним із застосуванням технологій алгебраїчного та інсерційного моделювання на основі алгебри поведінок. Розглянуто технології формалізації, алгебраїчної верифікації та тестування програмних і апаратних специфікацій у рамках модельного способу розроблення програмних систем. Приділено увагу використанню алгебраїчного моделювання в біологічних дослідженнях, створенні систем на основі блокчейн-платформ, аналізі правових та економічних моделей. Як один з основних напрямів практичного застосування зазначених технологій виокремлено галузь кібербезпеки, в якій використовується метод алгебраїчного зіставлення та формалізація шаблонів вразливостей і кібератак.
ЧИТАТИ ПОВНУ ВЕРСІЮ СТАТТІ Джерело: журнал “Вісник НАН України”, №3, 2021 р.