CEA, LIST, Software Reliability Laboratory, PC 174, 91191 Gif-sur-Yvette France;
CEA, LIST, Software Reliability Laboratory, PC 174, 91191 Gif-sur-Yvette France;
Supelec, CIDre, Rennes France;
Supelec, CIDre, Rennes France;
机译:使用循环证明自动验证指针程序的时间特性
机译:通过谓词抽象自动进行指针程序的回归验证
机译:使用图文法验证指针程序
机译:指针程序对程序的非干扰验证的程序转换
机译:验证指针密集型程序。
机译:用于物质处理方案的转型领导调查的发展与验证
机译:具有指针的程序的无干扰验证的程序转换