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

摘要：

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

关键词：状态爆炸、可达性、自动机、符号

所属期刊栏目：33

分类号：TP301(计算技术、计算机技术)

资助基金：广西研究生教育创新计划2011105950812M19

在线出版日期：2013-10-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：300-304