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, C++ Programming courses in Singapore

Tertiary Courses Logo

Basic Java Training

What is Java? Java is one of the top-five programming languages, and is used for websites, embedded controllers, and Android app development. This is an introduction to get you started programming with Java.

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 ]
NTUC LearningHub Logo

Programming In Html5, Javascript And CSS3 (SF)

The lab scenarios in this course are selected to support and demonstrate the structure of various application scenarios. They are intended to focus on the principles and coding components - structures that are used to establish an HTML software application.

by NTUC LearningHub [Claim Listing ]
  • Price
  • Start Date
  • Duration
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 ]
Inspizone Logo

Basic Unix Course

Hands On Unix Shell Scripting Course. Learn basic Unix commands and shell scripting to stand out in today's competitive world. It enables participants to automate day to day manual work. Inspizone offers you introduction of Unix basic commands and shell scripting/programming.

by Inspizone [Claim Listing ]

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