逻辑表达式型似然不变量的分析与检测

摘要	第1-6页
ABSTRACT	第6-7页
插图索引	第7-8页
附表索引	第8-9页
第一章 绪论	第9-14页
·研究背景	第9-11页
·程序不变量动态发现的相关研究	第11-12页
·论文的研究目标、主要内容以及研究意义	第12页
·论文组织结构	第12-14页
第二章 基于合约的程序设计	第14-23页
·引言	第14页
·合约式程序设计	第14-17页
·程序不变量发现技术	第17-22页
·程序不变量类型	第17-18页
·程序不变量检测流程	第18-19页
·程序不变量动态生成技术理论模型	第19-22页
·小结	第22-23页
第三章 逻辑表达式型似然不变量分析	第23-35页
·逻辑表达式型似然不变量的表现形式	第23-28页
·逻辑表达式型似然不变量表达式发现	第28-34页
·具体表达式的发现	第28-29页
·具体表达式发现的分析	第29-32页
·不变量表达式发现实验	第32-34页
·小结	第34-35页
第四章 逻辑表达式型似然不变量检测	第35-41页
·轨迹文件	第35-38页
·逻辑表达式型似然不变量检测流程	第38-40页
·小结	第40-41页
第五章 原型系统分析与设计	第41-47页
·系统功能分析	第41-43页
·系统设计	第43-45页
·不变量检测详细流程	第45页
·小结	第45-47页
第六章 总结与展望	第47-49页
·工作总结	第47页
·工作展望	第47-49页
参考文献	第49-54页
成果目录	第54-55页
致谢	第55页