| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 前言 | 第8-12页 |
| 第1章 预备知识 | 第12-26页 |
| ·经典模型检测的相关概念 | 第12-16页 |
| ·概率型模型检测的相关概念 | 第16-19页 |
| ·模糊集合理论 | 第19-20页 |
| ·可能的Kripke结构 | 第20-22页 |
| ·基于可能性测度的计算树逻辑 | 第22-26页 |
| 第2章 可能性互模拟 | 第26-40页 |
| ·可能性互模拟 | 第26-35页 |
| ·PoCTL,PoCTL~*,PoCTL~-等价与可能性互模拟等价的关系 | 第35-40页 |
| 第3章 可能性花费 | 第40-46页 |
| ·可能性花费 | 第40-42页 |
| ·可能性花费计算树逻辑PoRCTL | 第42-43页 |
| ·可能性互模拟在可能性花费中的应用 | 第43-46页 |
| 总结 | 第46-48页 |
| 参考文献 | 第48-52页 |
| 致谢 | 第52-54页 |
| 攻读硕士学位期间的研究成果 | 第54页 |