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