filmov
tv
Обнаружение ошибок проектирования
Показать описание
Российская платформа математических вычислений и динамического моделирования Engee:
###############
Второе видео по возможностям инструмента Simulink Design Verifier. На примере сложного конченого автомата будет продемонстрированна работа ядра формальных методов для нахождения ошибок проектирования, которые не могут быть обнаружены классическими подходами к верификации.
###############
Второе видео по возможностям инструмента Simulink Design Verifier. На примере сложного конченого автомата будет продемонстрированна работа ядра формальных методов для нахождения ошибок проектирования, которые не могут быть обнаружены классическими подходами к верификации.
0:03:51
0:14:15
0:10:14
0:04:24
0:06:14
0:00:53
0:08:01
0:03:56
0:00:44
0:14:29
0:26:09
0:22:39
0:04:52
0:16:36
0:10:56
0:11:59
0:08:03
0:26:10
0:00:14
0:06:46
0:19:02
0:07:12
0:01:16
0:20:50