摘要
MathWorks近日宣布引入两款新的代码验证工具以扩充其Polyspace产品系列：PolyspaceCodeProver和PolyspaceBugFinder。此外，公司还于同时宣布推出2013b版。新增的这两款产品提供了端到端软件验证功能，供早期开发阶段使用，其中涵盖了查找缺陷、检查代码规则以及证明不存在运行时错误。由此便可确保嵌入式软件的稳健性，使其能够以最高级别的质量和安全性运行。
出处
《电子设计工程》
2013年第19期35-35,共1页
Electronic Design Engineering
