Доказательство свойств системы

Первое видео по возможностям инструмента Simulink Design Verifier. Будет рассмотрен вопрос формализации требований, и их атоматизированного анализа. Все видео и описание https://exponenta.ru/news/verifikaciya-prosto-o-slozhnom