Доказательство отсутствия ошибок времени исполнения с помощью Polyspace Code Prover
ЦИТМ Экспонента
Это видео посвящено обнаружению скрытых дефектов ПО, возникающих в период эксплуатации. Рассматриваются возможности Polyspace Code Prover для обнаружения и анализа таких дефектов.
10:39
![Подключение ПЧВ [М01] к программируемым реле в среде Owen Logic](https://avatars.dzeninfra.ru/get-zen_doc/271828/pub_66c49a960828e01c22e36b95_683db2e50e25de7b94900bf1/smart_crop_516x290)
