Büchi自动机模型检测及其安全性分析应用研究/江西理工大学优秀博士论文文库

在航空航天、交通运输、核电能源和医疗卫生等安全苛求领域，系统的安全性尤为重要，为了确保系统安全，防止灾难性事故的发生，科技人员提出了诸多理论和方法，其中模型检测以其简洁明了和自动化程度高的优点而引人注目，其算法和应用研究成了学术界和工业界研究的热点话题之一。《Büchi自动机模型检测及其安全性分析应用研究/江西理工大学优秀博士论文文库》在讲解模型检测基础理论与基本方法的基础上，主要介绍笔者以广义Büchi自动机为研究对象，在模型检测算法及其安全性分析应用研究方面所取得的**性研究成果，主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Büchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型检测算法、基于场景分析的系统形式化模型生成方法、基于模型检测的系统安全性验证方法、基于故障注入的模型检测分析、铁路车站联锁系统的安全性分析研究。《Büchi自动机模型检测及其安全性分析应用研究/江西理工大学优秀博士论文文库》可以作为计算机软件与理论、计算机应用、软件工程、自动化控制、信息安全、网络空间安全等专业类研究生课程教材，也可以作为相关领域科技人员的参考用书。