Main Page > MATLAB > Polyspace

The Polyspace product family provides code verification tools that, prove that the C/C++ and Ada source codes are free from overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code using static code analysis that does not require program execution, code modification, or the use test vectors.

For verification, Polyspace uses formal methods-based abstract interpretation techniques to verify code. You can use it on handwritten code, generated code, or a combination of the two, before compilation and test.

Support for industry standards is available through the IEC Certification Kit (for IEC 61508 and ISO 26262) and the DO Qualification Kit (for DO-178) and Polyspace is compliant to MISRA and FDA regulations.

Available Polyspace Products

Polyspace Code Prover

Formally prove the absence of critical run-time errors without executing code

Polyspace Bug Finder

Check coding rules, security standards, code metrics, and find bugs

Polyspace for Ada

Prove the absence of run-time errors in source code

Ask our Polyspace Expert Team

Read, Learn, Explore!

Sign up for best practices, webinar and training dates and for being always up-to-date with MATLAB ® & Simulink ® and COMSOL Multiphysics ®!

If you have any questions about private trainings, please feel free to contact us. Our customer service representatives will be happy to help you!

Get in Touch!

Just fill in your contact details and any specific comments or questions you may have, and click on the “Send” button below. Your request is immediately sent to a sales representative in your geographical area.