Services de formation

Polyspace Code Prover for C/C++ Code Verification

This three-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

Please Note: A 1 hour test session will be scheduled one day prior to the first day of class. This test session will cover viewing and audio troubleshooting as well as software installation (content will be presented during the remaining days). It is highly recommended that you attend this session to ensure a successful start to the class.

Training Formats

Format Durée de la formation Sommaire de formation

En salle de formation

La formation est dispensée par un formateur MathWorks dans une salle de formation toute équipée. La formation peut se dérouler dans les bureaux MathWorks, dans différents endroits dans le monde, ou encore dans des salles de formation dans vos locaux.

2 days Afficher les détails

En ligne animé par un formateur

La formation est dispensée en ligne et en direct par un formateur MathWorks. Son contenu, son déroulement et le support de cours sont identiques à un cours dans une salle de formation.

2 days Afficher les détails

Pré requis

Strong knowledge of C, C++, or Ada