形式化模型检验相关硕士博士期刊学术论文

传统的演绎式安全性分析由安全性工程师通过手动实施，采用的分析方法主要有故障树分析等，但是这些分析方法都存在一些弊端：高度主观并......