可能性测度下的CTL符号化模型检测

• 作者: 张延波 郭越 雷丽晖
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 符号模型检测 可能性测度 CTL 多终端二值决策图
• 年，卷（期）: 2018,（11）
• 所属期刊栏目: 软件工程
• 页码范围: 2008-2014
• 页数: 7页
• 分类号: TP301
• 字数: 6571字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2018.11.013

摘要

随着系统复杂性的增加,系统中的不确定信息亟待处理,状态爆炸问题也越来越严峻,现有的模型检测技术已不能完全适用于复杂系统的验证.对可能性测度下CTL符号化模型检测进行了研究.首先用多终端二值决策图和布尔公式分别描述系统模型和待验证性质,然后再对系统模型进行归一化和简化,最后利用不动点计算完成系统验证.该研究是对可能性测度下的模型检测技术和符号化模型检测技术的整合,不但能处理系统的不确定信息,而且保持了符号化模型检测对计算时空要求低的优点,对于复杂系统模型检测具有重要意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷丽晖	陕西师范大学计算机科学学院	9	25	4.0	4.0
2	郭越	陕西师范大学计算机科学学院	1	1	1.0	1.0
3	张延波	陕西师范大学计算机科学学院	1	1	1.0	1.0