Polyspace Code Prover

新特性

R2014a (版本 9.1)

发行时间: 2014年3月6日

9.1 版是 Release 2014a 的一部分,它提供了以下增强功能:

  • 通过构建系统自动设置项目
  • 为 GNU 4.7 和 Microsoft Visual Studio C++ 2012 方言提供支持
  • 提供日语版文档
  • 提高了 HTTPS 的 Polyspace 指标安全性
  • 通过密码访问 Polyspace 指标中的项目

立即更新