伊莎贝尔

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

ORMS中也引用了该软件。


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

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

1 2 ... 29 30 31 下一个

  1. 巴拉林,克莱门斯:用语言环境探索代数文本的结构(2020)
  2. 奔驰ü勒,克里斯托夫;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  3. 埃尔德哈利,亚斯门;哈桑,奥斯曼;塔哈尔,索菲ène:一个用霍尔定理证明的形式化动态可信性分析框架(2020)
  4. 考夫曼,马特;摩尔,J。Strother:一阶设置中的有限二阶功能(2020)
  5. 科夫á中情局,劳拉;拉克尼特,汉娜;Szeider,Stefan:Isabelle/HOL中的图迹属性形式化(2020)
  6. Lammich,Peter:有效验证(UN)SAT证书检查(2020年)
  7. 长岛,裕田:Isabelle/HOL推荐证明方法的简单数据集(2020年)
  8. 亚伯,安德烈亚斯;阿拉斯,纪尧姆;哈米尔,阿利娅;皮恩卡,布里吉特;阿尔伯托莫米格里亚诺;附表ä喂,史蒂文;斯塔克,凯瑟琳:波普马克重新加载:逻辑关系的机械化证明(2019)
  9. 博特斯基,拉尔夫;哈斯贝克,马克斯W。;蒂曼,伦é: Isabelle/HOL(2019)验证线性算法增量理论解算器
  10. 陈兴伦;Norrish,Michael:有限域的分类及其应用(2019)
  11. 康多路西,安德里亚;科哈塞,迈克尔;ü嗯,丹尼斯;拉贝,弗洛里安;萨尔多蒂·科恩,克劳迪奥;Wenzel,Makarius:跨越数学图书馆的关系数据(2019)
  12. 德古瓦,斯蒂恩;德波尔,弗兰克S。;布贝尔,理查德;Hähnle,雷纳;腐烂,朱瑞安;斯坦恩öfel,Dominic:验证OpenJDK的泛型集合排序方法(2019)
  13. 埃贝尔,曼纽尔:验证随机社会选择(2019)
  14. Färber,迈克尔;Kaliszyk,Cezary:非共通连接表证明(2019)
  15. 市长,大卫;奔驰üLer,Christoph:使用表达逻辑组合对复杂自然语言论据的机械化评估(2019)
  16. 高蒂埃,蒂堡;Kaliszyk,Cezary:跨校对助理库调整概念(2019)
  17. 冈瑟,伊曼纽;帕加诺,米格尔;Sánchez Terraf,Pedro:实现强迫正式化的第一步(2019年)
  18. Hupel,Lars:Isabelle/HOL认证词典构建(2019)
  19. 卡利斯齐克,塞扎里(编辑);布雷迪,埃德温(编辑);科哈塞,安德里亚(编辑);萨尔多蒂·科恩,克劳迪奥(编):智能计算机数学。第12届国际会议,CICM 2019,捷克共和国布拉格,2019年7月8日至12日。会议记录(2019年)
  20. 卡利斯齐克,塞扎里;Pąk、 卡罗尔:《米扎尔作为伊莎贝尔对象逻辑的语义》(2019)

1 2 ... 29 30 31 下一个