了解如何开发安全可靠的关键嵌入式应用程序，如自动驾驶、飞行控制和医疗设备。
使用形式化方法的静态分析，可以证明在所有可能的控制流和数据流下都不存在运行时错误。
阅读这篇白皮书，了解使用正式方法进行静态代码分析有何帮助:
- 质量：查找bug并正式证明没有严重的运行时错误
- 安全:符合MISRA等安全标准®、ISO 26262、IEC 61508和DO-178
- 安全:检查CWE、CERT-C和ISO/IEC 17961软件安全标准的代码
从日产、空客、德尔福和美国宇航局的开发团队获得前7名最佳实践，以确保嵌入式软件的安全。
