CEA LIST Software Reliability Laboratory Gif-sur-Yvette France IRIF University Paris Diderot and CNRS Paris France;
CEA LIST Software Reliability Laboratory Gif-sur-Yvette France;
IRIF University Paris Diderot and CNRS Paris France;
CEA LIST Software Reliability Laboratory Gif-sur-Yvette France AdaCore Paris France;
机译:经过验证的CompCert前端,用于支持指针算术和未初始化数据的内存模型
机译:自动化弱存储程序的演绎验证(扩展版)
机译:COMPCERTS:使用指针作为整数语义的内存感知验证的C编译器
机译:用于演绎验证的内存模型中的引导仪分析
机译:指定,验证和在内存一致性模型之间进行转换。
机译:启用物联网(IoT)的老年人跌倒验证在智能家居中利用时间推断模型
机译:用于演绎验证的内存模型中的引导仪分析