全球数学计算软件开发商 MathWorks近日宣布，推出MATLAB和 Simulink产品系列版本 2023b（R2023b）。R2023b 推出了两款新产品和几项重要更新，它们可为工程 ...

MathWorks今天宣布推出对其 Polyspace 嵌入式代码验证产品的改进，此类产品可以证明源代码中不存在某些运行错误。 Polyspace新特性包含了 指标网络控制面板（metrics web dashboard）、自动计划验证工作、电子邮件通知以及增强的代码指标支持，这些新特性使工程师能够选择并跟踪嵌入式软件质量的指标和 ...

MathWorks Release 2023b includes the new Simulink Fault Analyzer and Polyspace Test products and significant updates for MATLAB and Simulink.

MathWorks today expanded its Polyspace product family with the introduction of two new code verification tools: Polyspace Code Prover and Polyspace Bu ...