Comprehensive Static Analysis Using Polyspace Products
杰伊·亚伯拉罕（Jay Abraham），数学
Polyspace productsuse 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.
在本网络研讨会中，您将学习如何使用Polyspace产品检测错误，调试和修复代码。s manbetx 845您还将学习如何通过证明验证代码以证明您的代码安全和稳健。我们将讨论您如何使用Polyspace获得对DO-178，IEC 61508和FDA法规等标准的认证。
通过演示，我们将向您展示Polyspace代码供者如何证明嵌入式软件中的关键运行时错误。PolySpace错误查找器通过识别各种运行时错误，数据流问题和其他缺陷来扩展此功能。
其他资源
相关视频和网络研讨会
You can also select a web site from the following list:
Americas
- AméricaLatina（Español）
- 加拿大(English)
- United States(English)
欧洲
- Netherlands(English)
- 挪威(English)
- Österreich（德意志）
- 葡萄牙(English)
- Sweden(English)
- 瑞士
- United Kingdom(English)