伊莎贝尔/霍尔

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


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

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

1 2 ... 49 50 51 下一个

  1. 巴克斯特,詹姆斯;里贝罗,佩德罗;安娜州卡瓦尔坎蒂:在\textittock CSP(2022年)中的合理推理
  2. 达尔万迪,萨德格;多戈尔,布里耶什;多尔蒂,西蒙;Wehrheim,Heike:将Owicki-Gries用于C11型内存模型整合到Isabelle/HOL(2022年)
  3. 杜布特,杰雷米;Yamada,Akihisa:非传递关系的不动点定理(2022)
  4. 费勒,巴兹尔;洛赫比勒,安德烈亚斯;施耐德,约书亚;崔泰尔,德米特里:有界自然函子的商(2022)
  5. 休尔塔·穆尼夫,乔纳森·朱利安;Struth,Georg:混合系统的谓词转换语义。Isabelle/HOL的验证组件(2022)
  6. 埃敏,卡拉耶尔;Edgar González:协作编辑框架WOOT的最终一致性(2022)
  7. Arusoaie,Andrei:为区块链认证Findel衍生品(2021年)
  8. 本特坎普,亚历山大;布兰切特,贾斯敏;克鲁恩斯,西蒙;Waldmann,Uwe:无lambda高阶逻辑的叠加(2021)
  9. 博德,安东尼;拉克尼特,汉娜;何一军:Isabelle/HOL认证量子计算(2021)
  10. 布朗伯格,马丁;德拉戈斯特,伊琳娜;法克赫,拉沙;菲泽,克里斯托夫;克鲁兹,马库斯;Weidenbach,Christoph:用于监督验证条件的数据记录锤模简单线性算法(2021)
  11. 巴特勒,D。;洛克比勒,A。;阿斯皮纳尔,D。;Gascón,A.:形式化(\varSigma)-使用密码的协议和承诺方案(2021)
  12. 陈兴伦;Norrish,Michael:AKS算法的机械化(2021)
  13. 克里斯蒂娅,马克西米利亚诺;Rossi,Gianfranco:Bell LaPadula安全属性的自动证明(2021年)
  14. 福斯特,西蒙;尼莫奇、雅库布;格雷舍尔,马里奥;魏然;Kelly,Tim:与Isabelle/SACM将正式证据整合到统一保证案例中(2021年)
  15. 出发地:阿斯塔·哈尔科赫;埃斯琴,艾格尼斯莫斯格路;维尔森,约根:伊莎贝尔/霍尔命题逻辑的形式化公理系统(2021)
  16. 韩宁;李西蒙;张乾英;王国辉;史志平;关勇:以太坊中间语言的可执行语义(2021)
  17. 霍鲁布,什特ěpán;斯塔罗斯塔,什特ěpán:Lyndon单词在伊莎贝尔/霍尔的形式化(2021)
  18. 霍鲁布,什特ěpán;Starosta,shtěpán:二进制交集形式化(2021)
  19. 胡,Zhé;萨南,大卫;蒂乌,阿尔文;刘、杨;和,高泉;董金松:SPARC指令集体系结构和TSO内存模型的Isabelle/HOL形式化(2021)
  20. Jared Mejia,Alex Devenport,Murat Arcak:DaDRA:用于数据驱动可达性分析的Python库(2021)阿尔十四

1 2 ... 49 50 51 下一个