Name: Доказательство отсутствия ошибок времени исполнения с помощью Polyspace Code Prover
Uploaded: 2022-04-15T03:53:07+03:00
Duration: T7M35S
Description: Видео автора «ЦИТМ Экспонента» в Дзене 🎦: Это видео посвящено обнаружению скрытых дефектов ПО, возникающих в период эксплуатации. Рассматриваются возможности Polyspace Code Prover для обнаружения и анализа таких дефектов.