Engee17фев26

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

0/0


0/0

0/0

0/0

Скачать популярное видео

Популярное видео

0/0