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

Второе видео по возможностям инструмента Simulink Design Verifier. На примере сложного конченого автомата будет продемонстрированна работа ядра формальных методов для нахождения ошибок проектирования, которые не могут быть обнаружены классическими подходами к верификации.