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

Check out more C++ Programming courses in Singapore

Ccisg Logo

Microsoft Power Apps & Power Automate Training

Microsoft Power Apps and Microsoft Power Automate can solve business challenges with low-code tools for your teams. PowerApps is a low code / rapid application development product from Microsoft that allows users to quickly build apps.

by Ccisg [Claim Listing ]
COMAT Logo

Python Bootcamp

This 3-day (18 hours) Python bootcamp will empower participants with the knowhow of programming in python, how to perform basic operations on python, automation using python and data analysis using Python.

by COMAT [Claim Listing ]
Singapore Polytechnic Logo

Computer Controlled Machining

This course covers both 2D and 3D CNC machining. Participants will be introduced to technology, types of stock, machine tooling, calculation of feeds &speeds and how to generate 2D and 3D toolpath from CAD models.

by Singapore Polytechnic [Claim Listing ]
Tertiary Courses Logo

Python Programming Intermediate (NICF)

Python is the most popular programming language used in data analytics and machine learning. Many people have acquired basic Python programming skill at the beginner level such as data types, control structures and functions.

by Tertiary Courses [Claim Listing ]
QAI Singapore Logo

Introduction to Perl Programming

This one day workshop covers the basic skill sets required by Developer or Tester in building scripts using Perl Programming Language

by QAI Singapore [Claim Listing ]

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