MathWorks 引入两款 Polyspace 代码验证新产品

MathWorks 近日宣布引入两款新的代码验证工具以扩充其 Polyspace 产品系列：Polyspace Code Prover 和 Polyspace Bug Finder。此外，公司还于同时宣布推出 2013b 版。新增的这两款产品提供了端到端软件验证功能，供早期开发阶段使用，其中涵盖了查找缺陷、检查代码规则以及证明不存在运行时错误。由此便... （来源：新品频道）

MathWorksPolyspace代码验证Polyspace Code ProverPolyspace Bug Finder 2013-9-10 10:21