MathWorks is the leading developer of mathematical computing software (MATLAB® and Simulink®), and code verification products (Polyspace®). MATLAB and Simulink are used throughout the automotive, aerospace, communications, electronics, medical devices, and industrial automation industries as fundamental tools for both research and product development.
Polyspace® code verification products from MathWorks uses formal-methods based static analysis to provide comprehensive software verification capability that includes bug-finding, coding rules checking, and proving the software is free of run-time errors such as overflow, divide-by-zero, out-of-bounds array access.
MathWorks is headquartered in Natick, Massachusetts, USA, and employs around 5500 people with 40% located outside the United States. For more information, visit www.mathworks.com/polyspace.