PCRI — LRI (CNRS UMR 8623) — INRIA Futurs — Universite Paris 11, Bat 490, Universite Paris-sud, 91405 Orsay cedex, France;
C programming language; Hoare logic; pointer programs; formal verification and proof;
机译:使用扇区编程方案的低压闪存的编程和程序验证方法
机译:基于现场可编程门阵列的巨型磁致伸缩执行器可编程电流源的方案设计与实验验证
机译:使用约束编程和抽象解释技术验证浮点程序
机译:浮点程序的多重验证
机译:一个(CO)编程和验证计算机网络的代数方法
机译:基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
机译:浮点程序的多验证者验证
机译:自动程序验证III:验证程序的方法,