伊莎贝尔/霍尔

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


ZBMaX中的参考文献(854篇)2篇标准文章

显示结果1至20的854。
按年份排序(引文
  1. 福斯特,西蒙;卡瓦尔坎蒂,阿纳河;坎纳姆,塞缪尔;伍德考克,吉姆;泽达,弗兰克:反应设计合同的统一理论(2020)
  2. 斯托贝尔,米迦勒:动态几何中的非标准分析(2020)
  3. 阿卜杜勒阿齐兹,穆罕默德;保尔森,Lawrence C.:Green定理的伊莎贝尔/ HOL形式化(2019)
  4. Bentkamp,亚力山大;布兰切特,Jasmin Christian;克拉科夫,迪特里希:深度学习表现力的形式证明(2019)
  5. Isabela、吉布里、都铎、StululAT、Sulin:二元树排序算法的机械综合:逻辑和组合技术(2019)
  6. 高蒂尔,TiBault,Kalasyyk,CeZaLe:在证明辅助图书馆上排列概念(2019)
  7. 苟泽尔,S·巴斯蒂安;S许尔,弗拉迪米尔:Morse引理的修正量化版本(2019)
  8. 海因斯,Ian J.;Meimikk,Larissa A.;Western,克尔斯滕;科尔文,Robert J.:同步程序代数:基于共享内存和事件并发的推理基础(2019)
  9. Hirokawa,Nao;米德尔多普,Aart;斯特纳格尔,基督教;温克勒,莎拉:抽象完成,形式化(2019)
  10. 伊默勒、Fabian、特劳特、克里斯托夫:颂歌的流动:变分方程的形式化和PooCaré映射(2019)
  11. 琼斯,Cliff B.;Yatapanage,倪三萨拉:基于并发垃圾收集器示例研究依赖/保证关系的限制(2019)
  12. Karol,伊莎贝尔的对象逻辑(2019)
  13. Kun-ar,On.EJ;波佩斯库,安德列:从高阶逻辑中的局部类型定义到类型集(2019)
  14. 波佩斯库,安德列:伊莎贝尔/HOL的一致基础(2019)
  15. Lammich,彼得:对命令HOL的细化(2019)
  16. Lammich,彼得;LoiBiffle,安德烈亚斯:高效的数据结构自动细化:两种方法的比较(2019)
  17. Lammich,彼得;Sefidgar,S. Reza:形式化的网络流算法:伊莎贝尔/HOL(2019)中的一种改进方法
  18. 李,Wenda;PASSMOR,Grant Olney;保尔森,Lawrence C.:在伊莎贝尔/HOL(2019)中使用不可信证书来决定单变量多项式问题
  19. MARI,FILIP:至多6点(2019)的凸多边形的Erder-SZeKes猜想的快速形式证明
  20. Marmsoler,迭戈;Gidiy,Habtom Kashay:FACTUM中建筑设计模式的交互验证(2019)