POLYSPACE

Polyspace is a static code analysis tool that uses formal methods to prove the absence of critical run-time errors under all possible control flows and data flows. It includes checkers for coding rules, security vulnerabilities, code metrics, and hundreds of additional classes of bugs... Polyspace helps Miracor demonstrate quality and correctness to the regulatory community, including the FDA, to prove that our device is safe... MathWorks was founded in 1984 by Jack Little and Cleve Moler, who recognized the need among engineers and scientists for more powerful and productive computation environments beyond those provided by languages such as Fortran and C. They combined their expertise in mathematics, engineering, and computer science to develop MATLAB.

Also known as: The MathWorks, The MathWorks, Inc.

Registration numbers: 57 116 065 715 (W)

Primary location: Natick United States