Polyspace for C/C++ Code Verification

by TechSource Systems & Ascendas Systems Group Claim Listing

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.

Price : Enquire Now

Contact the Institutes

Fill this form

Advertisement

TechSource Systems & Ascendas Systems Group Logo

img Duration

2 Days

Course Details

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 analysis results

  • Central Branch

    10 Ubi Crescent,, Central

© 2025 coursetakers.com All Rights Reserved. Terms and Conditions of use | Privacy Policy