Обнаружение ошибок проектирования

Российская платформа математических вычислений и динамического моделирования Engee: сайт: https://clck.ru/37kCz5 Телеграм канал: https://clck.ru/37kCww ############### Второе видео по возможностям инструмента Simulink Design Verifier. На примере сложного конченого автомата будет продемонстрированна работа ядра формальных методов для нахождения ошибок проектирования, которые не могут быть обнаружены классическими подходами к верификации. Все видео и описание https://exponenta.ru/news/verifikaciya-prosto-o-slozhnom