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.
The browser you are using is not supported that will prevent you from accessing certain features of the website. We want you to have the best possible experience. For this you'll need to use a supported browser and upgrade to the latest version.