Во вторник 17 февраля 2026 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Время проведения: 17.00-18.30 НСК (13.00-14.30 МСК) очно в к. 239 ИСИ СО РАН и онлайн по ссылке.
Анонсы, слайды докладов и другая информация будут доступны в группе телеграм.
Докладчики: Глеб Щепа (ведущий программист, Engee), Михаил Песельник (руководитель департамента встраиваемых систем, Экспонента)
Тема: Формальные методы для верификации конечных автоматов в контексте модельно-ориентированного проектирования на российской платформе математических вычислений и динамического моделирования Engee
В докладе представлен практический подход к интеграции формальной верификации в процесс модельно-ориентированного проектирования. Показано, как осуществлять верификацию моделей конечных автоматов, разработанных в российской среде моделирования Engee. Основное внимание сосредоточено на разработанном решении для автоматической генерации кода на языке Promela, используемом в известной системе верификации Spin. Рассмотрены специфические аспекты и особенности данной трансформации, возникающие при конвертации графических моделей в формальное представление.