Доказательство отсутствия ошибок времени исполнения с помощью Polyspace Code Prover

Это видео посвящено обнаружению скрытых дефектов ПО, возникающих в период эксплуатации. Рассматриваются возможности Polyspace Code Prover для обнаружения и анализа таких дефектов.