归档正式证据

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


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

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

1 2 ... 7 8 9 下一个

  1. 安巴尔,纪尧姆;伦格莱特,塞尔盖伊;施密特,艾伦:(\mathrmo\pi)在《考克》(2021年)
  2. 巴特勒,D。;洛克比勒,A。;阿斯皮纳尔,D。;Gascón,A.:形式化(\varSigma)-使用密码的协议和承诺方案(2021)
  3. 福斯特,西蒙;叶康峰;安娜,卡瓦尔康蒂;Jim Woodcock:通过计算自动验证反应式和并发程序(2021)
  4. 阿吉拉基:数学形式化——在实践中;一位数学家与伊莎贝尔/霍尔的第一次接触以及开始的原因和方法(2021年)
  5. 布哈西比;托马斯·西布特·皮诺特:关于(\zeta(3))(2021)非理性的正式证明
  6. 波佩斯库,安德烈;拉米,彼得;侯平:CoCon:一个正式验证文件机密性的会议管理系统(2021)
  7. 拉苏,弗拉德;大卫.诺瓦克:(Co)可达逻辑合成证明的归纳证明系统(2021)
  8. 西米奇,丹尼耶拉;马里奇,菲利普;Boutry,Pierre:双曲几何庞加莱圆盘模型的形式化(2021)
  9. 西森,罗伯特;默里,托比:混合敏感度并发程序的验证安全编译(2021)
  10. 蒂曼,勒内:决定矩阵增长的Perron-Frobenius定理(2021)
  11. 巴拉林,克莱门斯:用语言环境探索代数文本的结构(2020)
  12. 盆地,大卫A。;洛赫比勒,安德烈亚斯;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  13. 本斯米勒,克里斯托夫;大卫富恩马约尔:哥德尔本体论论证变体中正属性、超滤和模态崩溃的计算机支持分析(2020)
  14. 本斯米勒,克里斯托夫;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  15. 比斯平,本杰明;威斯康星州内斯特曼;彼得斯,基尔斯廷:耦合相似性:头32年(2020年)
  16. 迪瓦森,何塞;乔斯顿,塞巴斯蒂安J.C。;蒂曼,勒内;Yamada,Akihisa:Berlekamp-Zassenhaus因式分解算法的验证实现(2020)
  17. 埃伯尔,曼纽尔;哈斯贝克,马克斯W。;Nipkow,Tobias:随机二叉树结构的验证分析(2020)
  18. 福斯特,西蒙;坎塔纳,卡瓦利;加纳姆,塞缪尔;伍德考克,吉姆;反应式设计理论(Frank Zeyda,2020)
  19. 戈泽尔,塞巴斯蒂安;Karlsson,Anders:次加法和乘法遍历定理(2020)
  20. 乔斯顿,塞巴斯蒂安J.C。;蒂曼,勒内;Yamada,Akihisa:Isabelle/HOL中代数数的验证实现(2020)

1 2 ... 7 8 9 下一个