Training Services

Polyspace Code Prover for C/C++ Code Verification

This two-day course discusses the use of Polyspace® Code Prover to prove code correctness, improve software quality metrics, and ensure product integrity. This hands-on course is intended for engineers who develop software or models targeting embedded systems. Topics include:

  • Creating a verification project
  • Reviewing and understanding verification results
  • Emulating target execution environments
  • Handling missing functions and data
  • Managing unproven code (color-coded in orange by Polyspace products)
  • Applying MISRA-C® rules
  • Reporting

Training Formats

Format Course Length Course Outline

Classroom

Course is led by a MathWorks instructor in a focused classroom setting. Locations include MathWorks offices and public sites worldwide; classroom training can also take place at your facility

2 days View details

Online instructor-led

Course is held online in real time by a MathWorks instructor and contains the same course content and materials used in the classroom setting

2 days View details

Prerequisites

Strong knowledge of C or C++