1330 подписчиков
Экспонента выступила на семинаре теоретического и экспериментального программирования имени В.А. Непомнящего, который проходил онлайн и очно в Институте систем информатики СО РАН.
Тема доклада:
💼 «Формальные методы для верификации конечных автоматов в контексте модельно-ориентированного проектирования на российской платформе математических вычислений и динамического моделирования Engee»
Мы рассказали о практическом подходе к интеграции формальной верификации в процесс модельно-ориентированного проектирования. Показали, как можно выполнять верификацию моделей конечных автоматов, разработанных в российской среде моделирования Engee.
Представили решение для автоматической генерации кода на языке Promela, используемом в системе верификации Spin. Обсудили специфические аспекты и особенности данной трансформации, возникающие при конвертации графических моделей в формальное представление.
Семинар прошёл успешно: участники активно задавали вопросы и отметили практическую пользу такого подхода.
Будем рады обратной связи и обсуждению!
Около минуты
3 дня назад