Course Schedule

Prerequisites

Strong knowledge of C or C++

Polyspace 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. Note that day 3 is optional and is only available for on-site trainings. 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 analysis results

See detailed course outline



Course Schedule

Results 1 - 11 of 11
Dates Location Language Price Register
01 Nov 2021-
02 Nov 2021
Online
9:00 am - 5:00 pm US Pacific Daylight Time
English USD 1,500
04 Nov 2021-
05 Nov 2021
Online
9:00 am - 5:00 pm Korea Standard Time
Korean USD 1,500
25 Nov 2021-
26 Nov 2021
Online
9:00 am - 5:00 pm China Standard Time
Chinese USD 1,500
08 Feb 2022-
09 Feb 2022
Online
9:00 am - 5:00 pm Central European Time
English USD 1,500
17 Mar 2022-
18 Mar 2022
Online
9:00 am - 5:00 pm Central European Time
German USD 1,500
06 Apr 2022-
07 Apr 2022
Online
9:00 am - 5:00 pm US Eastern Daylight Time
English USD 1,500
04 May 2022-
05 May 2022
Online
9:00 am - 5:00 pm Central European Summer Time
English USD 1,500
26 May 2022-
27 May 2022
Online
9:00 am - 5:00 pm Korea Standard Time
Korean USD 1,500
14 Jun 2022-
15 Jun 2022
Online
9:00 am - 5:00 pm Central European Summer Time
English USD 1,500
21 Jun 2022-
22 Jun 2022
Online
9:00 am - 5:00 pm China Standard Time
Chinese USD 1,500
23 Jun 2022-
24 Jun 2022
Online
9:00 am - 5:00 pm Indian Standard Time
English USD 1,500
Results 1 - 11 of 11

The pricing applies for purchase and use in United States, For pricing in other regions Contact Sales. The product price does not include sales, use, excise, value-added, or other taxes. Any applicable taxes, duties, levies, assessments and governmental charges payable in connection with this purchase will be assessed on the order. Refer to Training Policies for more information