10.3969/j.issn.1000-3428.2009.19.021
基于CEGAR偏序化简的并行程序死锁检测
针对并发程序的模型检测存在大量的冗余交互和严重的状态空间爆炸问题,提出以迁移标记系统为建模语言计算Persistent Set并完成偏序化简的算法.将算法和CEGAR算法结合起来,实现对并发C程序的并行死锁检测.结果证明该算法在减缓状态空间爆炸和模型验证的效率方面较以往的算法有所提高.
模型检测、CEGAR算法、偏序化简
35
TP311(计算技术、计算机技术)
国家自然科学基金资助项目60672110, 60635020
2009-12-04(万方平台首次上网日期,不代表论文的发表时间)
共4页
65-68