结果1至20251
排序依据：

  • 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]
  • 系统是一个先进的案例研究伊莎贝尔/霍尔另一方面，相当。。。