广义可能性计算树逻辑的范式研究

摘要	第3-4页
Abstract	第4页
第一章 前言	第7-11页
1.1 模型检测的研究背景	第7-8页
1.2 模型检测的研究现状	第8-9页
1.3 本文的主要内容	第9-11页
第二章 预备知识	第11-21页
2.1 经典Kripke结构	第11-12页
2.2 经典计算树逻辑	第12-14页
2.3 经典模型检测PNF和ENF范式	第14-16页
2.4 广义可能性Kripke结构	第16-17页
2.5 广义可能性测度	第17-18页
2.6 广义可能性计算树逻辑	第18-21页
第三章 广义可能性计算树逻辑的范式	第21-33页
3.1 GPoCTL的PNF范式的语法	第21-23页
3.2 GPoCTL的ENF范式的语法	第23-25页
3.3 广义可能性计算树逻辑公式等价的说明	第25页
3.4 PNF范式的等价性	第25-28页
3.5 ENF范式的等价性	第28-29页
3.6 实例分析	第29-33页
第四章 广义可能性计算树逻辑的范式的转化算法	第33-39页
4.1 GPoCTL的PNF公式的转换算法	第33-34页
4.2 GPoCTL的ENF公式的转换算法	第34-35页
4.3 实例分析	第35-39页
结论	第39-41页
参考文献	第41-45页
致谢	第45-47页
攻读硕士期间的科研成果	第47页