基于自动机的并发程序符号可达分析

• 作者: 曾宇清 钱俊彦
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 状态爆炸 可达性 自动机 符号
• 年，卷（期）: 2013,（4）
• 页码范围: 300-304
• 页数: 5页
• 分类号: TP301
• 字数: 4645字
• 语种: 中文

摘要

为了缓解模型检测并发程序中出现的状态爆炸问题,将并发程序建模成异步动态下推网络,同时将异步动态下推网络转化为异步下推网络,在异步下推网络下提出一种基于自动机的符号可达算法.该算法能避免精确搜索每一个状态空间,有效地缓解了状态爆炸.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦		86	238	9.0	10.0
2	曾宇清		1	0	0.0	0.0