伊莎贝尔/霍尔

伊莎贝尔是一个普通的校对助理。它允许数学公式以形式语言表示,并提供在逻辑微积分中证明这些公式的工具。其主要应用是数学证明的形式化,特别是形式化验证,包括证明计算机硬件或软件的正确性以及证明计算机语言和协议的性质。


zbMATH中的参考文献(引用于,2标准条款)

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

1 2 ... 46 47 48 下一个

  1. Abrahamsson,Oskar:高阶逻辑的验证检查器(2020)
  2. Abrahamsson,Oskar;Ho,Son;Kanabar,Hrutvik;Kumar,Ramana;Myreen,Magnus O.;Norrish,Michael;Tan,Yong Kiam:从单体霍尔函数合成CakeML的制样(2020年)
  3. Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年)
  4. Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  5. Christoph Benzmüller;Fuenmayor,David:Gödel本体论论证变体中正属性、超滤器和模态崩溃的计算机支持分析(2020)
  6. Benzmüller,Christoph;Parent,Xavier;van der Torre,Leendert:为伦理和法律推理设计规范性理论:\textslogickyframework,methodology,and tool support(2020年)
  7. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  8. Rudolf Berghammer;Furusawa,Hitoshi;Guttmann,Walter;Höfner,Peter:路径的关系特征(2020)
  9. Cristiá,Maximiliano;Rossi,Gianfranco:求解有限集和二元关系上的无量词一阶约束(2020)
  10. Jose Divasón;Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Berlekamp-Zassenhaus分解算法的验证实现(2020)
  11. Dolu,Nazlı;Hastürk,Umur;Nature,Mustafa Kemal:考虑最近欧几里得距离的地区客户的最小-最大设施位置问题的解决方法(2020年)
  12. Eberl,Manuel;Haslbeck,Max W.;Nipkow,Tobias:随机二叉树结构的验证分析(2020)
  13. Echenim,Mnacho;Guol,Hervé;Peltier,Nicolas:在Isabelle/HOL正式确定欧洲衍生品的Cox-Ross Rubinstein定价(2020年)
  14. Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020)
  15. 盖里,洛伦佐;波佩斯库,安德烈:带绑定的语法形式化一般理论:扩展版(2020)
  16. Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Isabelle/HOL中代数数的验证实现(2020)
  17. Kahl,Wolfram:教学工具中的计算关系代数证明(2020)
  18. Daniel Kirchner;Christoph Benzmüller;Zalta,Edward N.:功能类型理论中的机械化原理逻辑形而上学(2020)
  19. Lammich,Peter:有效验证(UN)SAT证书检查(2020年)
  20. Li,Wenda;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020)

1 2 ... 46 47 48 下一个