Polyspace for C/C++ Code Verification

This Two-day course discusses the use of Polyspace® products 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® rules
  • Reporting

상세한 과정 개요 보기

일정 및 등록

수강자 필수조건

Strong knowledge of C, C++, or Ada Products


일정 및 등록

결과 1 - 6 / 6
날짜 지역 언어 가격 등록
2019 년08월08일-
2019 년08월09일
온라인
오전 9:00 - 오후 5:00 미 동부 서머타임
English USD 1,500
2019 년09월18일-
2019 년09월19일
독일, München (Ismaning) English EUR 1,400
2019 년10월03일-
2019 년10월04일
프랑스, Paris (Meudon) French EUR 1,400
2019 년10월28일-
2019 년10월29일
US, Michigan, Novi English USD 1,500
2019 년11월05일-
2019 년11월06일
중국, 北京 Chinese CNY 6,000
2019 년11월28일-
2019 년11월29일
인도, Bangalore English INR 30,000
결과 1 - 6 / 6

이 교육 과정 등록비는 미국, 에 해당되는 가격입니다. 그 외의 지역 및 국가의 가격은 영업팀에 문의하십시오. 교육 과정 등록비에는 판매세, 이용세, 소비세, 부가가치세, 또는 기타 세금이 포함되어 있지 않습니다. 실제로 적용되는 세금 및 추가 부담금 등은 등록 시에 확정됩니다. 자세한 내용은 MathWorks 교육 정책을 참조하십시오.