基于可能性测度的LTL模型检测--硕士论文下载

广告服务

论文搜索

论文发表

会员专区

在线购卡

服务帮助

联系我们

硕士论文

博士论文

博硕论文分类列表

论文搜索

科目列表

基于可能性测度的LTL模型检测

论文目录

摘要	第1-4页
Abstract	第4-7页
第1章前言	第7-11页
·模型检测的研究背景	第7-8页
·模糊测度理论	第8-9页
·基于测度的模型检测现状	第9页
·本文的主要内容	第9-11页
第2章预备知识	第11-15页
·模型检测	第11页
·可测空间	第11-12页
·LTL的语法和语义	第12-13页
·LT属性	第13-14页
·自动机的基础理论	第14-15页
第3章可能的Kripke结构满足LTL公式的可能性测度	第15-31页
·可能的Kripke结构	第15-16页
·可能的Kripke结构上的可能性测度	第16-21页
·满足可达性的可能性测度	第21-22页
·满足受限可达性的可能性测度	第22-26页
·满足重复可达性的可能性测度	第26-31页
第4章可能的Kripke结构下满足线性时间属性的模型检测	第31-37页
·系统满足LT属性的可能性测度	第31-32页
·系统满足正则安全性的可能性测度	第32-36页
·系统满足ω-正则安全性的可能性测度	第36-37页
结论	第37-39页
参考文献	第39-43页
致谢	第43-45页
攻读硕士学位期间研究成果	第45页

论文编号BS19565，这篇论文共45页会员购买按0.35元/页下载，共需支付15.75元。直接购买按0.5元/页下载，共需要支付22.5元。

我还不是会员，注册会员！会员下载更优惠!充值送钱！	我只需要这篇，无需注册！直接网上支付，方便快捷！

您可能感兴趣的论文

论文标题	页/字数	分类
基于可能性测度的LTL模型检测	45页	硕士论文
线性时态逻辑中若干基础问题的研究	137页	博士论文
基于SMT的时钟约束语言CCSL形式化分析与应用	85页	硕士论文
基于可能性测度的计算树逻辑与可能性互模拟	54页	硕士论文
LTL概率模型检验优化技术的研究	65页	硕士论文
含过渡金属分子筛的合成及其催化环己烷液相氧化反应的性能研究	98页	硕士论文
LTL语义描述下无人—有人机协同任务分解与调度策略研究	78页	硕士论文
基于LTL三值语义的软件运行时验证方法研究	64页	硕士论文
基于LTL的软件可信性指标分析方法研究	73页	硕士论文
基于LTL软件正确性运行时验证方法研究	71页	硕士论文

版权申明：本目录由www.jylw.com网站制作，本站并未收录原文，如果您是作者，需要删除本篇论文目录请通过QQ或其它联系方式告知我们，我们承诺24小时内删除。