机译:用于各种内存一致性模型的通用模型检查框架
RIKEN Advanced Institute for Computational Science, 7-1-26 Minatojima-minami-machi, Chuo-ku, Kobe, Hyogo, Japan;
RIKEN Advanced Institute for Computational Science, 7-1-26 Minatojima-minami-machi, Chuo-ku, Kobe, Hyogo, Japan;
Coarray Fortran; Itanium; Memory consistency model; Model checking; Unified Parallel C;
机译:CheckFence:检查宽松内存模型上并发数据类型的一致性
机译:UMM:具有集成模型检查功能的操作内存模型规范框架
机译:MTraceCheck:在硅后验证中验证内存一致性模型的不确定行为
机译:各种内存一致性模型的通用模型检查框架
机译:分布式模型的合并和一致性检查。
机译:基于模型检查的环境辅助生活解决方案分析框架
机译:针对弱内存模型的共享内存一致性协议验证:通过模型检查进行细化