计算机工程2009，Vol.35Issue(19)：65-68,4.
基于CEGAR偏序化简的并行程序死锁检测
On-the-fly Deadlock Detection with Partial-order Reduction Based on CEGAR
摘要
关键词
模型检测/CEGAR算法/偏序化简分类
信息技术与安全科学引用本文复制引用
梁中兴,罗贵明,旷宏斌..基于CEGAR偏序化简的并行程序死锁检测[J].计算机工程,2009,35(19):65-68,4.基金项目
国家自然科学基金资助项目(60672110, 60635020) （60672110, 60635020）
