Interprocedural Analysis of Concurrent Programs under a Context Bound.
International Conference on Tools and Algorithms for Construction and Analysis of Systems（2008）
关键词
context-bounded analysis,recursive program,finite-state abstraction,finite-state case,certain family,infinite-state abstraction,new symbolic algorithm,previous work,program data,shared memory,Interprocedural analysis,concurrent program
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要