Coronavirus Disease 2019 (COVID-19) Update
Due to heightened concerns regarding the outbreak of COVID-19, we are adding more instructor-led online training courses as an alternative to classroom courses.
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
Course Schedule
Dates | Location | Language | Price | Register |
---|---|---|---|---|
09 Mar 2021- 10 Mar 2021 |
Online 9:00 am - 5:00 pm Central European Standard Time Register today - only 3 seat(s) remaining |
English | USD 1,500 | |
06 Apr 2021- 07 Apr 2021 |
Online 9:00 am - 5:00 pm US Eastern Daylight Time |
English | USD 1,500 | |
22 Apr 2021- 23 Apr 2021 |
Online 9:00 am - 5:00 pm China Standard Time |
Chinese | USD 1,500 | |
20 May 2021- 21 May 2021 |
Online 9:00 am - 5:00 pm Korea Standard Time |
Korean | USD 1,500 | |
27 May 2021- 28 May 2021 |
Online 9:00 am - 5:00 pm Japan Standard Time |
Japanese | USD 1,500 | |
24 Jun 2021- 25 Jun 2021 |
Online 9:00 am - 5:00 pm Indian Standard Time |
English | USD 1,500 | |
07 Sep 2021- 08 Sep 2021 |
Online 9:00 am - 5:00 pm Japan Standard Time |
Japanese | USD 1,500 | |
05 Oct 2021- 06 Oct 2021 |
Online 9:00 am - 5:00 pm Central European Standard Time |
English | USD 1,500 | |
20 Oct 2021- 21 Oct 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 |
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