×

LTL概率模型检验工具的实现与优化

消耗积分:0 | 格式:rar | 大小:0.44 MB | 2017-11-21

分享资料个

　　概率模型检验建立在非概率模型检验技术的基础上，不仅能够对系统进行定性的验证，还能够定量判断系统满足相关性质的概率，具有广泛的适用性。LTL概率模型检验算法的复杂度较高，达到双重指数级别，现有的工具如PRISM与MRMC均不支持对LTL性质的验证。针对这个问题，通过对原有的LTL概率模型检验算法进行优化，实现了一个高效的LTL概率模型检验工具。通过对比实验验证了该工具的有效性。

LTL概率模型检验工具的实现与优化

下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !