Сконфигурируйте и запустите Polyspace Code Prover™, чтобы проверять ваш код на ошибки времени выполнения. Можно сконфигурировать и запустить Polyspace при помощи:
Проект в пользовательском интерфейсе Polyspace.
Windows или скрипты Linux.
Скрипты MATLAB.
.bat) или сценарии оболочки (.sh)