Ограничения верификации Polyspace

Верификация кода имеет определенные ограничения. Документ Polyspace® Code Prover™ Limitations описывает известные ограничения процесса верификации кода.

Этот документ хранится как codeprover_limitations.pdf в следующей папке:

polyspaceroot\polyspace\verifier\code_prover_desktop

Здесь, polyspaceroot папка установки Polyspace, например, C:\Program Files\Polyspace\R2020b.