机构名称：
¥ 31.0
本报告主要为 FAA 认证人员撰写，假设他们之前没有接触过形式化方法。但是，它不是形式化方法教程：它包含大量关于形式化方法的优势、劣势和技术问题的讨论，这些问题应在认证中考虑，但并未解释如何实施形式化方法。报告中散布着一些简单的例子，但这些例子仅供大家感受所讨论的主题，并不代表可能为支持认证而提供的特定技术或符号。那些希望提供形式化方法来支持认证的人显然必须成为他们所选择方法的专家，认证人员同样需要获得所采用的特定方法的专业知识。第 2.8 节为那些开始进行此类研究的人提供了一些阅读建议。
形式化方法和关键系统的认证
主要关键词
相关文件推荐
