Диагностируйте узкие места в аналитическое время и использование памяти.
Уменьшайте использование памяти и время, потраченное анализом Polyspace
Уменьшайте размер приложения или сложность верификации систематически, если верификация вашей полной кодовой базы занимает слишком много времени.
Свяжитесь с технической поддержкой о проблемах с рабочим Polyspace
Изучите то, что MathWorks® Technical Support должен от вас диагностировать проблему.
