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.