Skip to Main Content

Recorded Webinar: Verify Critical Ada, C and C++ Embedded Code

Complete this request form for immediate access to this webinar and other recorded webinars

As an embedded software engineer, you know that it is important to ensure reliability of your code. With PolySpace code verification products from The MathWorks, you are able to improve the reliability and quality of your code by eliminating over/underflows, divide by zeros, illegally dereferenced pointers, and other run-time errors. 

Learn more by attending this webinar and see how you can:

- Verify your code without program execution, instrumentation, or test cases
- Show that your Ada, C or C++ code is free of certain run-time errors
- Facilitate code certification and compliance (DO-178B, IEC 61508, MISRA-C, JSF++, etc.)

This webinar is for:

- Embedded software developers working on high reliability code
- Project managers responsible for critical high-integrity software
- Quality assurance managers and testers

This webinar was recorded on 9 Sep 2009

Duration: 37 Minutes

Contact Information

Note: Please enter the official name.

Other Information

Are you a MATLAB user?

Are you a Simulink user?

Are you seeking further information on MathWorks products?

Are you seeking further information on pricing?

We will not sell or rent your personal contact information. See our privacy policy for details.