广义可能性决策过程的计算树逻辑模型检测

• 作者: 李永明 马占有
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 并发系统 广义可能性决策过程 广义可能性计算树逻辑 模型检测
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 软件工程
• 页码范围: 2162-2168
• 页数: 7页
• 分类号: TP301
• 字数: 6934字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2015.11.025

摘要

模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证.针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此类系统的广义可能性计算树逻辑模型检测问题.结论表明,其模型检测算法的时间复杂度也为多项式时间.所获得的结果扩大了广义可能性测度在模型检测中的应用范围.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	马占有	陕西师范大学计算机科学学院	8	59	3.0	7.0