归档正式证据

伊莎贝尔的正式证据档案(法新社):挖掘正式证据的档案。正式证据档案是一个巨大的计算机检查证据收集使用证据助理伊莎贝尔。我们对归档文件进行深入分析,查看验证开发的各种属性,包括大小、依赖关系和证明样式。这使我们对形式证明的本质有了一些见解。


zbMATH中的参考文献(参考文献177篇文章,1标准件)

显示177个结果中的1到20个。
按年份排序(引用)

1 2 ... 7 8 9 下一个

  1. 休尔塔·穆尼夫,乔纳森·朱利安;Struth,Georg:混合系统的谓词转换语义。Isabelle/HOL的验证组件(2022)
  2. 埃敏,卡拉耶尔;Edgar González:协作编辑框架WOOT的最终一致性(2022)
  3. 安巴尔,纪尧姆;伦格莱特,塞尔盖伊;施密特,艾伦:(\mathrmo\pi)在《考克》(2021年)
  4. 博德,安东尼;拉克尼特,汉娜;何一军:Isabelle/HOL认证量子计算(2021)
  5. 巴特勒,D。;洛克比勒,A。;阿斯皮纳尔,D。;Gascón,A.:形式化(\varSigma)-使用密码的协议和承诺方案(2021)
  6. 德隆,阿德里安;彼得·柯普克;洛伦森,安东;马蒂,阿德里安;舒茨,马塞尔;埃里克·斯图森海克:伊莎贝尔/纳普罗什的美丽形式化(2021)
  7. 埃德蒙兹,切尔西;Paulson,Lawrence C.:组合设计理论的模块化首次形式化(2021)
  8. 福斯特,西蒙;尼莫奇、雅库布;格雷舍尔,马里奥;魏然;Kelly,Tim:与Isabelle/SACM将正式证据整合到统一保证案例中(2021年)
  9. 福斯特,西蒙;叶康峰;安娜,卡瓦尔康蒂;Jim Woodcock:通过计算自动验证反应式和并发程序(2021)
  10. 出发地:阿斯塔·哈尔科赫;埃斯琴,艾格尼斯莫斯格路;维尔森,约根:伊莎贝尔/霍尔命题逻辑的形式化公理系统(2021)
  11. Grabowski,Adam:一些广义粗糙近似的自动比较研究(2021)
  12. 霍鲁布,什特ěpán;斯塔罗斯塔,什特ěpán:Lyndon单词在伊莎贝尔/霍尔的形式化(2021)
  13. 阿吉拉基:数学形式化——在实践中;一位数学家与伊莎贝尔/霍尔的第一次接触以及开始的原因和方法(2021年)
  14. 李,李易;Gunter,Elsa L.:(\mathbbK)的完整语义及其对Isabelle的翻译(2021)
  15. Líka,马丁;卢普塔克,达维德;诺沃顿,维特;米加尔Růïička;嘘明克,鲍里斯;索伊卡,彼得;什特法尼克,米哈尔;Wenzel,Makarius:CICM'21系统条目(2021)
  16. 马布比,阿西娅;托马斯·西布特·皮诺特:关于(\zeta(3))(2021)非理性的正式证明
  17. 波佩斯库,安德烈;拉米,彼得;侯平:CoCon:一个正式验证文件机密性的会议管理系统(2021)
  18. 波佩斯库,安德烈;特劳特尔,德米特里:用证明助手提取哥德尔不完全性定理的要求(2021)
  19. 拉苏,弗拉德;大卫.诺瓦克:(Co)可达逻辑合成证明的归纳证明系统(2021)
  20. 西米奇,丹尼耶拉;马里奇,菲利普;Boutry,Pierre:双曲几何庞加莱圆盘模型的形式化(2021)

1 2 ... 7 8 9 下一个