MathWorks引入两款新的代码验证工具以扩充其Polyspace产品系列：Polyspace Code Prover和Polyspace Bug Finder。此外，公司还于同时宣布推出2013b版。 OPTION_5:HP MathWorks近日宣布引入两款新的代码验证工具以扩充其Polyspace产品系列：Polyspace Code Prover和Polyspace Bug Finder ...

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

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.

NATICK, Mass.--(BUSINESS WIRE)--MathWorks today announced enhancements to its Polyspace embedded code verification products, which prove the absence of certain run-time errors in source code. The new ...

PARIS – The Mathworks Inc., developer of technical computing and model-based design software, announced it has acquired PolySpace Technologies, provider of embedded software tools for the automatic ...

The MathWorks (www.mathworks.com) said it has acquired PolySpace Technologies (www.polyspace.com), a French software company that provides embedded software tools for the automatic detection of ...

The MathWorks today announced that its Real-Time Workshop Embedded Coder 5.3, PolySpace Client for C/C++ 7.0.1, and PolySpace Server for C/C++ 7.0.1 products are qualified according to the ISO/DIS ...

COMPANY NEWS: New Products and Updates Simplify Model-Based Design for Engineers and Researchers in the Aerospace, Automotive, and Wireless Communications Industries. Simulink Fault Analyzer™ enables ...

MathWorks has announced Release 2013b of its MATLAB and Simulink design and analysis tools. R2013b delivers new analysis, design, code generation and implementation and other features in MATLAB and ...