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

• 作者: 林哲超 董威
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: LTL 概率模型检验 优化
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 软件工程
• 页码范围: 892-896
• 页数: 5页
• 分类号: TP311.5
• 字数: 4203字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2017.05.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董威	国防科学技术大学计算机学院	32	402	10.0	19.0
2	林哲超	国防科学技术大学计算机学院	1	0	0.0	0.0