LTL概率模型检验优化技术的分析

《LTL概率模型检验优化技术的分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、国防科学技术大学研究生院硕士学位论文目录摘要.................................................................................................................iABSTRACT........................................................................................................iii第一章绪论.....................................

2、.................................................................11.1研究背景.........................................................................................................11.2模型检验技术.................................................................................................21.2.1非概

3、率模型检验..................................................................................21.2.2概率模型检验......................................................................................41.3研究内容与研究动机.....................................................................................61.3.1LTL概

4、率模型检验算法的优化技术..................................................61.3.2工具的实现..........................................................................................61.4论文的主要工作和创新.................................................................................71.4.1主要工作.........................

5、.....................................................................71.4.2创新点..................................................................................................81.5论文组织结构.................................................................................................8第二章基础知识..

6、...........................................................................................102.1基本概念.......................................................................................................102.1.1概率的相关知识............................................................................

7、....102.1.2图的相关知识....................................................................................102.1.3迁移系统(Kripke结构).....................................................................112.1.4非歧义的Büchi自动机................................