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

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.

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 ...

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 ...