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

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