Верификация кода имеет определенные ограничения. Polyspace® Документ Ограничений Code Prover™ описывает известные ограничения процесса верификации кода.
Этот документ хранится как codeprover_limitations.pdf в следующей папке:
polyspaceroot\help\pdf_doc\codeprover
Здесь, polyspacerootC:\Program Files\Polyspace\R2021b.