Polyspace products静态代码分析和使用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.
在这个网络研讨会您将学习如何使用波尔yspace 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
Featured Product
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select:.
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.