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

MathWorks引入两款新的代码验证工具以扩充其Polyspace产品系列：PolyspaceCodeProver和PolyspaceBugFinder。此外，同时宣布推出2013b版。新增的这两款产品提供了端到端软件验证功能，供早期开发阶段使用，其中涵盖了查找缺陷、检查代码规则以及证明不存在运行时错误。由此便可确保嵌入式软件的稳健性，使其能够以最高级别的质量和安全性运行。