伊莎贝尔

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

ORMS中也引用了该软件。


zbMATH中的参考文献,1标准件)

显示598个结果中的581到598个。
按年份排序(引用)

以前的 1 2 ... 28 29 30

  1. 史辉:一种语义匹配算法:分析与实现(1996)
  2. Sten,Agherholm;Gordon,Mike:ZF集理论在HOL和Isabelle中的实验(1995)
  3. Ballarin,Clemens;Homann,Karsten;Calmet,Jacques:定理和算法:Isabelle和Maple之间的接口(1995)
  4. Busch,Holger:在定理证明器中推理分布式系统的实用方法(1995)
  5. 坎蒂尼,安德里亚:真理的层次(1995)
  6. 萨拉·卡瓦拉:伊莎贝尔的TLA公式(1995)
  7. Lester,David;Mintchev,Sava:面向高阶纯函数语言的机器检查编译器正确性(1995)
  8. Paulson,Lawrence C.:为验证设定理论。二: 归纳与递归(1995)
  9. 汤普森,西蒙:米兰达的逻辑,重温(1995)
  10. 雅各布斯,大卫P.:阿尔伯特非关联代数系统:进展报告(1994)
  11. 保尔森,劳伦斯·C.:伊莎贝尔。一般定理证明者(1994)
  12. Noel,P.A.J.:在ZF集合论中用Isabelle进行实验(1993)
  13. Paulson,Lawrence C.:为验证设定理论。一: 从基础到功能(1993)
  14. Abramsky,S.(编辑);Gabbay,Dov M.(编辑);Maibaum,T.S.E.(编辑):计算机科学中的逻辑手册。第二卷:背景:计算结构(1992)
  15. Aczel,Peter;Carlisle,David P.;Mendler,Nax:理论的两个框架及其在Isabelle中的实现(1991)
  16. 邦迪,艾伦;范哈梅伦,弗兰克;赫斯基,简;斯梅尔,艾伦:实验与证明计划的归纳(1991)
  17. 奥迪弗雷迪,皮尔乔乔(编):逻辑与计算机科学(1990)
  18. 保尔森,劳伦斯C.:简单类型理论的表述(为伊莎贝尔)(1990)

以前的 1 2 ... 28 29 30