本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。

规范

可以使用 Code Prover 检查的外部规范的描述和示例

Polyspace® Code Prover™ 分析可以检查是否违反了某些外部规范。例如，您可以指定您的代码中的某些变量不得相互影响，并让 Code Prover 确定是否违反了此规范。

Polyspace 结果

预期有影响
预期无影响

主题