伊莎贝尔

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

该软件在ORMS也有参考价值。


ZBMaX中的参考文献(573篇)1标准条款

显示结果1至20的573。
按年份排序(引文
  1. Chan,Hing Lun;诺里希,米迦勒:有限域的分类及应用(2019)
  2. de Gouw,史坦恩;德波尔,Frank S.;巴贝尔,李察;H.Hnle,赖纳;Road,JuriaAn;Steinh OfEL,多米尼克:验证OpenJDK通用集合的排序方法(2019)
  3. 高蒂尔,TiBault,Kalasyyk,CeZaLe:在证明辅助图书馆上排列概念(2019)
  4. Karol,伊莎贝尔的对象逻辑(2019)
  5. 波佩斯库,安德列:伊莎贝尔/HOL的一致基础(2019)
  6. Kun-ar,On.EJ;波佩斯库,安德列:从高阶逻辑中的局部类型定义到类型集(2019)
  7. Lammich,彼得;LoiBiffle,安德烈亚斯:高效的数据结构自动细化:两种方法的比较(2019)
  8. Libal,Timer-Valpe,马珂:模态逻辑的通用证明框架(2019)
  9. 李,李明;石,支平;关,Yong;张,钱莹;李,李:HOLL光中几何代数的形式化(2019)
  10. 林,Yuhui;邦迪,艾伦;Grov,Gudmund;麦克莱恩,Ewen:通过波动和证明修补自动实现事件B不变证明(2019)
  11. Marmsoler,迭戈;Gidiy,Habtom Kashay:FACTUM中建筑设计模式的交互验证(2019)
  12. Miller、Dale:机械化元理论再探(2019)
  13. Narboux,朱利安;Jai-i ii,Prdult;Fuluriot,贾可:合成几何中的计算机辅助定理证明(2019)
  14. Rabe,弗洛里安:MMTTEX:连接内容和面向叙述的文档格式(2019)
  15. Rabe,弗洛里安;Sharoda,Yasmine:MMT中的图组合器(2019)
  16. 王,孟;田,康镇;张,南;段,Zhenhua;杜,红伟:验证安全关键系统调度协议(2019)
  17. 艾吉尔,贾景晖;Atif,贾马尔;布洛赫,伊莎贝尔;Hudelot,C系:信念修正,最小变化和放松:基于满意系统的一般框架,以及描述逻辑的应用(2018)
  18. Alex A. Alemi,Francois Chollet,Niklas Een,Geoffrey Irving,Christian Szegedy,Josef Urban:深度-前提选择的深层序列模型(2018)阿西夫
  19. 鲍埃雷,托马斯;Pesenti Gritti,阿曼多;波佩斯库,安德列;雷蒙迪,Franco:COSEMD:一个机密性验证的社交媒体平台(2018)
  20. 贲匝肯,V.CONTEJE,E..,凯勒,Ch.;马丁斯,E:SQL执行引擎的COQ形式化(2018)