杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Büchi自动机模型检测及其安全性分析应用研究/王曦, 欧阳城添著

出版发行项:

长沙:中南大学出版社,2019

ISBN及定价:

978-7-5487-3563-2/CNY40.00

载体形态项:

147页:图;24cm

丛编项:

江西理工大学优秀博士论文文库

个人责任者:

王曦 著

个人责任者:

欧阳城添 著

学科主题:

自动检测系统-研究

中图法分类号:

TP274

书目附注:

有书目 (第134-147页)

提要文摘附注:

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

豆瓣简介：