Büchi自动机模型检测及其安全性分析应用研究

书籍简介:

本书在讲解模型检测基础理论与基本方法的基础上，主要介绍作者以广义Büchi自动机为研究对象，在模型检测算法及其安全性分析应用研究方面所取得的独创性研究成果，主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Büchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型检测算法、基于场景分析的系统形式化模型生成方法、基于模型检测的系统安全性验证方法、基于故障注入的模型检测分析、铁路车站联锁系统的安全性分析研究。

书籍规格:

书籍信息归属:

Büchi自动机模型检测及其安全性分析应用研究是中南大学出版社于2019.1出版的中图分类号为 TP274 的主题关于 自动检测系统－研究 的书籍。