zbMATH中的参考文献(参考文献21条)

显示第1到第20个结果,共21个。
按年份排序(引用)
  1. 波尔多,西尔维;法国风格;费索尔,弗洛里安人;马丁,文森特;Mayero,Michaela:非负函数Lebesgue积分的Coq形式化(2022)
  2. 阿巴西,罗莎;希夫尔,乔纳斯;达鲁洛娃,伊娃;乌尔布里希,马提亚斯;Ahrendt,Wolfgang:KeY中浮点Java程序的演绎验证(2021)
  3. 石井、大辅;Yabu,Tomohito:四个区间算术算子的计算机辅助验证(2020)
  4. 贝尔托,伊夫;里杜,劳伦斯;Théry,Laurent:(\pi)的遥远小数:计算它们的一些算法的形式证明和精确计算的保证(2018)
  5. 穆勒,让·米歇尔;布鲁尼,尼古拉斯;德迪尼琴,弗洛伦特;珍妮罗德,克劳德·皮埃尔;约尔德,米奥拉;列弗,文森特;梅尔奎恩,纪尧姆;雷沃,娜塔莉;托雷斯,谢尔盖:浮点运算手册(2018)
  6. Boldo,Sylvie:使用四舍五入到最近值计算正确且严格的舍入误差边界(2017)
  7. 波尔多,西尔维;约尔德,米奥拉;穆勒,让·米歇尔;Popescu,Valentina:浮点展开重整化算法的形式验证(2017)
  8. 马格伦,维克多;康斯坦丁尼德,乔治;Donaldson,Alastair:使用半定规划的认证舍入误差界(2017)
  9. Krebbers,Robbert:分离逻辑的正式C内存模型(2016)
  10. 马丁多雷尔,爱瑞克;Melquiond,Guillaume:在Coq中用初等函数证明一元表达式的紧界(2016)
  11. Roux,Pierre:舍入误差界的形式证明。应用于自动肯定性检查(2016)
  12. 波尔多,西尔维:愚蠢就是愚蠢:取浮点数平方根的平方根(2015)
  13. 波尔多,西尔维;乔丹,雅克·亨利;勒罗伊,泽维尔;Melquiond,Guillaume:浮点计算的验证编译(2015)
  14. 查尔斯·雅各布森;索洛维耶夫,亚历克西;Gopalakrishnan,Ganesh:HOL-Light中的参数化浮点形式化(2015)
  15. 鲁克斯,皮埃尔;Pierre Loïc Garoche:实用策略迭代。静态分析中政策迭代的实际应用:二次案例(2015)
  16. 波尔多,西尔维;法国风格;菲利特,让·克里斯托夫;梅耶罗,米凯拉;梅尔奎恩,纪尧姆;Weis,Pierre:信任计算:从偏微分方程到实际程序的机械化证明(2014)
  17. Roux,Pierre:基本算术运算的无害双舍入(2014)
  18. 波尔多,西尔维;法国风格;菲利特,让·克里斯托夫;梅耶罗,米凯拉;梅尔奎恩,纪尧姆;Weis,Pierre:波动方程数值解析:C程序的综合机械化证明(2013)
  19. 克雷伯斯,强盗;Spitters,Bas:textscCoq中高效精确实数运算的类型类(2013)
  20. 柯林斯,彼得;尼基,米拉德;Revol,Nathalie:一个有效的实函数演算(2011)