Верификация кода имеет определенные ограничения. Документ Polyspace® Code Prover™ Limitations описывает известные ограничения процесса верификации кода.
Этот документ хранится как codeprover_limitations.pdf
в следующей папке:
polyspaceroot\polyspace\verifier\code_prover_desktop
Здесь,
папка установки Polyspace, например, polyspaceroot
C:\Program Files\Polyspace\R2020a
.