声明
插图索引
表格索引
缩略语对照表
第一章 绪论
1.1研究背景
1.2历史发展及现状
1.3研究内容和章节安排
第二章 模型检测的原理及其相关概念
2.1模型检测的原理
2.2状态空间爆炸问题
2.3模型检测相关概念
2.4相关工具
第三章 基于反例的抽象动态执行精化算法
3.1方法概述
3.2构造ART
3.3反例路径的判断和精化
3.4循环分类
第四章 基于反例的抽象动态执行精化算法的实现
4.1开发环境简介
4.2确定性程序
4.3非确定性程序
4.4核心数据结构
第五章 实验结果分析
5.1实验数据
5.2基于实验的算法效果分析
第六章 总结与展望
6.1工作总结
6.2展望
参考文献
致谢
作者简介