机构名称：
¥ 9.0
本报告并非旨在作为任何特定技术的教程，尽管重点介绍了一些技术并进行了简要讨论。感兴趣的读者应查阅适当的文献，以获取有关使用本文所述技术的更多详细信息。最近，形式化方法在安全关键软件开发中的应用非常活跃，我们将在本报告后面概述形式化方法的类别及其使用方法。我们不专注于特定方法，因为应选择一种方法来匹配正在构建的系统。相反，我们讨论开发人员可以选择一种类型的方法而不是另一种类型的方法的选项。
安全关键软件：状态报告和带注释的参考书目
主要关键词
相关文件推荐
