Comprehensive Static Analysis Using Polyspace Products
Polyspace products use static code analysis and formal methods to verify your software. They help you to detect and prove the absence of overflow, divide-by-zero, out-of-bounds array and other run-time errors in source code.
In this webinar you will learn how you can use Polyspace products to detect bugs, debug and fix your code. You will also learn how to verify your code with proof to show that your code is safe and robust. We will discuss how you to use Polyspace to achieve certification to standards such as DO-178, IEC 61508 and FDA regulations.
With demonstrations, we will show you how Polyspace Code Prover proves the absence critical run-time errors in your embedded software. Polyspace Bug Finder extends this capability by identifying a variety of run-time errors, data flow problems, and other defects.
Recorded: 24 Oct 2013
You can also select a web site from the following list:
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.