| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 前言 | 第7-11页 |
| 第1章 预备知识 | 第11-15页 |
| ·概率模型检测的相关概念 | 第11-12页 |
| ·CTL和CTL~* | 第12-14页 |
| ·模糊集合理论 | 第14-15页 |
| 第2章 可能性计算树逻辑 | 第15-25页 |
| ·可能的Kripke结构 | 第15-16页 |
| ·基于可能的Kripke结构的CTL和CTL~* | 第16-17页 |
| ·可能性计算树逻辑 | 第17-21页 |
| ·PoCTL、CTL和CTL~*之间的关系 | 第21-25页 |
| 第3章 可能的互模拟 | 第25-33页 |
| ·PoCTL~*和PoCTI~-公式 | 第25页 |
| ·可能的互模拟 | 第25-33页 |
| 第4章 可能的Kripke结构决策过程 | 第33-47页 |
| ·可能的Kripke结构的决策过程 | 第33-34页 |
| ·调度表 | 第34-37页 |
| ·基于可能的Kripke结构决策过程的PoCTL | 第37-38页 |
| ·可能的Kripke结构决策过程中事件的可达性 | 第38-47页 |
| 总结 | 第47-49页 |
| 参考文献 | 第49-53页 |
| 致谢 | 第53-55页 |
| 攻读硕士学位期间研究成果 | 第55页 |