Skip to Main Content Skip to Search
Accelerating the pace of engineering and science

Polyspace Embedded Software Verification

Polyspace use at Nissan

Nissan

"Polyspace products for C/C++ can ensure a level of software reliability that is unmatched by any tools in the industry."

Read the story

Recorded Webinar

Eliminating Critical Software Errors in Embedded Code

View now
Polyspace use at Delphi Diesel Systems

Delphi Diesel Systems

"Using Polyspace as soon as source code is available helps us catch bugs much earlier and thus at a much lower cost."

Read the story

Recorded Webinar

Embedded Software Verification for IEC 61508 and ISO 26262

View now
Polyspace use at EADS

EADS

"The Polyspace solution is unique - it detects run-time errors without execution and has the advantage of being exhaustive."

Read the story

Recorded Webinar

DO-178B Certification: Automate and Streamline Using Code Verification

View now
Polyspace use at IRSN

IRSN

"Polyspace belongs to a new generation of analysis tools. It represents a large step forward for the verification of safety-related software."

Read the story

Recorded Webinar

Static Code Analysis with Polyspace - Certifying Medical Devices

View now

Code Verification with Polyspace

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 uses static code analysis that is formal methods based (with abstract interpretation) to verify C/C++ or Ada. You can use it to perform code verification of handwritten or generated embedded software. Polyspace can also be used to check compliance to coding standards, review code complexity metrics, and measure software quality.

Polyspace helps you:

Learn more about Polyspace products for C/C++:

Polyspace Client for C/C++
Polyspace Server for C/C++

Polyspace products for Ada:

Polyspace Client for Ada
Polyspace Server for Ada

Polyspace products for generated code:

Polyspace Model Link SL (for Simulink®)
Polyspace Model Link TL (for dSPACE TargetLink)
Polyspace UML Link RH (for IBM Rational Rhapsody)

Support for industry certification standards:

IEC Certification Kit (for IEC 61508)
DO Qualification Kit (for DO-178)