• Isar

  • 引用138篇文章[sw04599]
  • 当前的最终用户设置主要用于伊莎贝尔/霍尔. 再加上伊莎贝尔/Isar的证据实例。。。
  • 大锤

  • 第114条引用[sw07047]
  • 解除因伊莎贝尔/霍尔. 我们把它扩展到利奥二世和撒达拉斯。。。
  • 名义伊莎贝尔

  • 引用67篇文章[sw12055]
  • 伊莎贝尔是伊莎贝尔/霍尔定理证明者。它提供了一个证明基础设施。。。
  • 吹毛求疵

  • 引用54篇文章[sw00622]
  • Nitpick是一个反例生成器伊莎贝尔/霍尔它建立在Kodkod,一个基于SAT的第一个。。。
  • 塞塔

  • 引用41篇文章[sw06584]
  • 本文使用定理证明器伊莎贝尔/霍尔自动认证终止证明。为了这个。。。
  • Ott公司

  • 引用了30篇文章[sw00663]
  • Coq、HOL和伊莎贝尔/霍尔,以及乳胶生产质量代码。。。
  • 换乘

  • 在26篇文章中引用[sw21009]
  • 迁移:一个模块化的商数设计伊莎贝尔/霍尔. 商、子类型和其他形式的类型。。。
  • 举起

  • 在26篇文章中引用[sw21010]
  • 迁移:一个模块化的商数设计伊莎贝尔/霍尔. 商、子类型和其他形式的类型。。。
  • 中央结算系统

  • 引用25篇文章[sw03357]
  • PVS或for的逻辑伊莎贝尔/霍尔(在新样式的Isar语法中)。翻译后。。。
  • 捣碎

  • 引用21篇文章[sw08206]
  • 证明助手中的自动定理证明器伊莎贝尔/霍尔. 一个关键的组成部分,相关性过滤器,启发性地。。。
  • 霍尔布吉

  • 在14篇文章中引用[sw00409]
  • 结合了Boogie和交互式定理证明器伊莎贝尔/霍尔. 特别是,我们提出了结合。。。
  • 自动参考

  • 在14篇文章中引用[sw12809]
  • 精致。我们提供的Autoref工具伊莎贝尔/霍尔,它自动优化抽象指定的算法。。。
  • 贝莱坎普·扎森豪斯

  • 引用8篇文章[sw28596]
  • 无平方整数多项式的因式分解伊莎贝尔/霍尔. 我们进一步修改现有的形式化。。。在中不可能存在依赖类型伊莎贝尔/霍尔我们用Isabelle对整个算法进行了形式化描述。。。
  • 霍尔兹

  • 参考11篇文章[sw02996]
  • 泛型定理证明器插件伊莎贝尔/霍尔(2005版)。它允许导入。。。
  • 伊莎贝尔/UTP

  • 在10篇文章中引用[sw21184]
  • 统一编程理论伊莎贝尔/霍尔. UTP是一个研究的框架,形式化。。。
  • 拉尔

  • 参考第9条[sw08505]
  • 系统是一个先进的案例研究伊莎贝尔/霍尔另一方面,相当。。。