形式化B方法验证技术研究及其应用
| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-15页 |
| ·研究背景 | 第9-10页 |
| ·国内外研究现状 | 第10-13页 |
| ·论文研究意义 | 第13-14页 |
| ·章节安排 | 第14-15页 |
| 第二章 相关知识介绍 | 第15-29页 |
| ·形式化B 方法的开发过程 | 第15-17页 |
| ·定理证明技术 | 第17-24页 |
| ·类型检查 | 第17-18页 |
| ·证明义务 | 第18页 |
| ·推理规则 | 第18-24页 |
| ·模型检测技术 | 第24-27页 |
| ·模型检测技术原理 | 第24-26页 |
| ·目前模型检测技术存在的不足 | 第26页 |
| ·由问题引发的思考 | 第26-27页 |
| ·本章小结 | 第27-29页 |
| 第三章 免疫因子网络建模、验证及相关研究 | 第29-54页 |
| ·引言 | 第29页 |
| ·因子网络模型的建模 | 第29-39页 |
| ·需求分析 | 第29-34页 |
| ·免疫因子网络的B 方法描述 | 第34-39页 |
| ·定理证明 | 第39-43页 |
| ·类型检查 | 第40-41页 |
| ·证明义务 | 第41-43页 |
| ·基于条件分析的模型检测 | 第43-52页 |
| ·目前已有解决技术 | 第43-44页 |
| ·工具ProB 的模型检测 | 第44-45页 |
| ·基于条件分析方法的原理 | 第45-48页 |
| ·一个ATM 机例子 | 第48-52页 |
| ·缩减状态空间的安全性分析 | 第52页 |
| ·本章小结 | 第52-54页 |
| 第四章 免疫因子网络的精化及其证明 | 第54-62页 |
| ·引言 | 第54页 |
| ·精化的介绍 | 第54-57页 |
| ·模型的精化 | 第57-60页 |
| ·因子网络模型的精化 | 第58-59页 |
| ·精化的验证 | 第59-60页 |
| ·本章小结 | 第60-62页 |
| 第五章 模型的程序实现 | 第62-68页 |
| ·引言 | 第62页 |
| ·模型的详细设计 | 第62-63页 |
| ·设计思想 | 第62页 |
| ·系统的流程描述 | 第62-63页 |
| ·系统模拟 | 第63-66页 |
| ·本章小结 | 第66-68页 |
| 第六章 总结和展望 | 第68-70页 |
| ·总结 | 第68页 |
| ·展望 | 第68-70页 |
| 参考文献 | 第70-74页 |
| 致谢 | 第74-75页 |
| 论文发表情况及参加科研项目、学术会议 | 第75-76页 |
