• 大锤

  • 112篇参考文献[SW07047 ]
  • 排放交互证明义务伊莎贝尔/霍尔. 我们用Leo II和Satallax扩展了它…
  • 名义伊莎贝尔

  • 66篇参考文献[SW120 55 ]
  • 伊莎贝尔是一个定义的扩展。伊莎贝尔/霍尔定理证明器它提供了一个证明基础设施…
  • 挑剔

  • 53篇参考文献[SW0622]
  • NITPICK是一个反例的发电机伊莎贝尔/霍尔这是建立在KODKOD,基于SAT的第一…
  • 塞塔

  • 40篇参考文献[ SW065 84]
  • 本文利用定理证明器伊莎贝尔/霍尔自动证明终止证明。对此…
  • 奥特

  • 29篇参考文献[SW0663]
  • COQ,HOL,和证明辅助代码伊莎贝尔/霍尔和胶乳代码一起生产质量…
  • 转移

  • 22篇参考文献[SW21009]
  • 转移:商的模块化设计伊莎贝尔/霍尔. 商、子类型和其他形式的类型…
  • 举起

  • 22篇参考文献[SW21010]
  • 转移:商的模块化设计伊莎贝尔/霍尔. 商、子类型和其他形式的类型…
  • 醪液

  • 20篇参考文献[SW08206]
  • 证明助手中的自动定理证明器伊莎贝尔/霍尔. 一个关键的组成部分,关联性,试探性地…
  • 霍尔布吉

  • 14篇参考文献[SW0409]
  • BoGEE与交互式定理证明器的结合伊莎贝尔/霍尔. 特别是,我们提出了具体的技术结合…
  • 自动阅读器

  • 12篇参考文献[SW12809]
  • 求精。我们提出了AutoRf工具伊莎贝尔/霍尔自动细化抽象的算法。
  • 霍尔Z

  • 11篇参考文献[SW0996]
  • 通用定理证明器的插件伊莎贝尔/霍尔(版本2005)。它允许进口…
  • 拉尔

  • 9篇参考文献[SW08505]
  • 系统是一个先进的案例研究伊莎贝尔/霍尔而另一方面,一个相当…
  • 精化一元

  • 6篇参考文献[ SW28 551 ]
  • 程序和数据细化框架伊莎贝尔/霍尔. 该框架是基于一个非决定论…被接受的形式伊莎贝尔/霍尔代码生成器…