伊莎贝尔/霍尔

伊莎贝尔是一个普通的校对助理。它提供了一种数学公式的形式化证明语言。其主要应用是数学证明的形式化,特别是形式化验证,包括证明计算机硬件或软件的正确性以及证明计算机语言和协议的性质。


zbMATH中的参考文献,2标准条款)

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

1 2 ... 45 46 47 下一个

  1. Abrahamsson,Oskar:高阶逻辑的验证检查器(2020)
  2. Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年)
  3. Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  4. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  5. 和crisanfi-first-quantifier-2020解题
  6. Jose Divasón;Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Berlekamp-Zassenhaus分解算法的验证实现(2020)
  7. Dolu,Nazlı;Hastürk,Umur;Nature,Mustafa Kemal:考虑最近欧几里得距离的地区客户的最小-最大设施位置问题的解决方法(2020年)
  8. Cox-Pelenichol《欧洲衍生产品定价》(the European Derivations of the European Derivations);Nicolechol/the European Diverties of the European Derivations;Nicolechol/the European Derivations of the European Derivations;Nicolechol/the European Derivations of the Co
  9. Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020)
  10. 形式化语法:洛伦佐·埃斯普里(Andrezo Escli),扩展版语法
  11. Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Isabelle/HOL中代数数的验证实现(2020)
  12. Daniel Kirchner;Christoph Benzmüller;Zalta,Edward N.:功能类型理论中的机械化原理逻辑形而上学(2020)
  13. Lammich,Peter:有效验证(UN)SAT证书检查(2020年)
  14. Li,Wenda;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020)
  15. 李嘉图,培尼亚:用Dafny证明红黑树(2020)
  16. Roffé,Ariel Jonathan:重构者:一个使用三值逻辑来表示经验科学背景下信息缺失的计算机程序(2020)
  17. 石志平;关勇;李锡盟:复杂分析与矩阵理论的形式化(2020)
  18. Sternagel,Christian:Higman引理的机械化证明(2020)
  19. 斯特罗贝尔,迈克尔:动态几何中的非标准分析(2020)
  20. Zhang,Xingyuan;Urban,Christian;Wu,Chunhan:优先继承协议被证明是正确的(2020年)

1 2 ... 45 46 47 下一个