国防科技大学学报2008，Vol.30Issue(6)：47-52,6.
基于伪临界值的Cache一致性协议验证方法
An Efficient Verification Method of Cache Coherence Protocol Based on Pseudo-cutoff
摘要
关键词
形式化验证/模型检验/多处理机系统/Cache一致性协议分类
信息技术与安全科学引用本文复制引用
屈婉霞,郭阳,庞征斌,杨晓东..基于伪临界值的Cache一致性协议验证方法[J].国防科技大学学报,2008,30(6):47-52,6.基金项目
国家自然科学基金资助项目(60573173,60773025) （60573173,60773025）
新世纪优秀人才支持计划资助项目 （）
