Tag Archives: Polyspace

MathWorks Polyspace Embedded Software Verification Tools

MathWorks has updated their Polyspace embedded code verification tools. Polyspace code verifiers detect and prove the absence of overflow, divide-by-zero, out-of-bounds array access, and other run-time errors in source code. Polyspace features improved metrics web dashboard, automated scheduling of verification jobs, e-mail notification and increased code metric support. The MathWorks tools help engineers to select and track embedded software quality metrics and thresholds. Polyspace is ideal for automotive, aerospace, defense, industrial automation, and machinery applications.

Continue reading