Main Page > MATLAB > Polyspace

"Making Critical Code Safe and Secure"

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

Polyspace Bug Finder

Polyspace for Ada

Prove the absence of
critical run-time errors in software 

Identify software bugs
using static analysis

Prove the absence of
run-time errors in source code

Ask our Expert about Polyspace Products!

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 ®!

We'd love to hear from you

Whether you have a question about features, trials, pricing, services, or anything else, our team is ready to answer all your questions!

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.