| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第1章 绪论 | 第9-12页 |
| ·研究的背景和意义 | 第9-10页 |
| ·基于进程代数模型检测技术的研究现状 | 第10-11页 |
| ·本文主要研究内容 | 第11页 |
| ·本文结构及章节安排 | 第11-12页 |
| 第2章 进程代数 | 第12-18页 |
| ·CCS的算子与语义 | 第13-16页 |
| ·CCS的互模拟关系 | 第16-18页 |
| ·本章小结 | 第18页 |
| 第3章 组合可达性分析 | 第18-30页 |
| ·组合可达性分析 | 第19-22页 |
| ·LTS的扩充 | 第22-24页 |
| ·安全性及验证算法 | 第24-26页 |
| ·活性及验证算法 | 第26-28页 |
| ·举例 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第4章 基于假设的状态约减算法 ABSR | 第30-36页 |
| ·假设—保证推理 | 第30-33页 |
| ·基于假设的状态约减算法 ABSR | 第33-34页 |
| ·ABSR有效性证明 | 第34-35页 |
| ·实验结果 | 第35-36页 |
| ·本章小结 | 第36页 |
| 第5章 基于进程代数的偏序简化 | 第36-49页 |
| ·迹与偏序 | 第37-39页 |
| ·稳固集与睡眠集 | 第39-44页 |
| ·petri 网实例 | 第44-46页 |
| ·基于进程代数的偏序简化 | 第46-49页 |
| ·本章小结 | 第49页 |
| 第6章 基于进程代数的并发模型验证工具 VerTool | 第49-63页 |
| ·VerTool的选择-搜索与稳固集选取算法 | 第50-54页 |
| ·VerTool的文本输入 | 第54-58页 |
| ·VerTool验证的效率分析 | 第58-62页 |
| ·本章小结 | 第62-63页 |
| 第7章 总结与展望 | 第63-65页 |
| 参考文献 | 第65-68页 |
| 攻读研究生期间所发表论文及参加项目 | 第68-69页 |
| 致谢 | 第69页 |