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