The MathWorks近日宣布其MATLAB、Simulink以及PolySpace产品系列的2009a版本(R2009a)面市。R2009a包括对多核和多处理器系统的增强型支持的并行计算工具箱、覆盖汽车电子、控制系统优化和3D模拟和可视化的3个新产品、MATLAB和Simulink的新功能以及其他90多个产品的增强功能。
NATICK, Mass.--(BUSINESS WIRE)--MathWorks today expanded its Polyspace product family with the introduction of two new code verification tools: Polyspace Code Prover and Polyspace Bug Finder.