基于反例搜索的启发式模型检测算法的研究

第一章 引言	第1-11页
·形式化方法与高可靠软件	第7-9页
·论文的内容与组织	第9-11页
·论文的主要工作	第9页
·论文的组织	第9-11页
第二章 模型检测	第11-17页
·并发通讯系统	第11页
·模型检测	第11-17页
·主要步骤	第11-12页
·状态爆炸问题	第12-13页
·模型检测工具	第13-15页
·最近的研究进展	第15-17页
第三章 遗传算法	第17-23页
·基本概念	第17-18页
·遗传算子	第18-19页
·遗传算法主框架与应用实例	第19-21页
·遗传算法的特点与应用关键	第21-23页
第四章 时序逻辑	第23-27页
·时序逻辑与KRIPKE结构	第23-24页
·计算树逻辑与线性时序逻辑	第24-27页
第五章 启发式算法	第27-36页
·算法的基本框架	第27-29页
·路径采集	第29-30页
·适应性函数设计	第30-34页
·遗传操作	第34-36页
第六章 工具的实现与实例研究	第36-44页
·算法的实现	第36-41页
·脚本语言	第36-39页
·主要数据结构	第39-41页
·实例研究	第41-44页
第七章 结束语	第44-45页
参考文献	第45-48页
在学期间发表论文	第48-49页
致谢	第49页