Engee17фев26

Докладчики: Глеб Щепа ведущий программист Engee Михаил Песельник руководитель департамента встраиваемых систем Экспонента Тема: Формальные методы для верификации конечных автоматов в контексте модельно-ориентированного проектирования на российской платформе математических вычислений и динамического моделирования Engee Аннотация: В докладе представлен практический подход к интеграции формальной верификации в процесс модельно-ориентированного проектирования.
Показано как осуществлять верификацию моделей конечных автоматов разработанных в российской среде моделирования Engee.
Основное внимание сосредоточено на разработанном решении для автоматической генерации кода на языке Promela используемом в известной системе верификации Spin.
Рассмотрены специфические аспекты и особенности данной трансформации возникающие при конвертации графических моделей в формальное представление.

Источник: rutube.ru