基于模型检测的并发程序分析综述

• 作者: 李国强 黄明璋
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 并发程序分析 模型检测
• 年，卷（期）: 2014,（12）
• 所属期刊栏目: 综合评述
• 页码范围: 1-6,24
• 页数: 7页
• 分类号: TP3
• 字数: 8541字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2014.12.001

摘要

程序分析可以被看作抽象解释的模型检测，这使得程序分析的系统化方法成为可能。并发程序日益重要，在多核平台和分布式系统有着广泛的应用。而并发程序分析仍然有巨大的困难，实践上的复杂性和理论上的不可判定性都使得程序分析难以简单进行。文献[19]指出即使只有两个递归线程的交互，断言检测也是不可判定的。为了克服这类障碍，一些并发程序的静态分析方法被提了出来。对基于模型检测的并发程序分析给出一个详尽的综述，包括使用的数学模型、已有工具、可判定以及不可判定结果。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李国强		13	44	4.0	6.0
2	黄明璋		1	1	1.0	1.0