• 伊莎贝尔/霍尔

• 916篇参考文献[SW01569]
• 伊莎贝尔是一个通用的证明助手。它允许…

• 逆合成孔径雷达

• 137篇参考文献[SW04999 ]
• 当前终端用户设置主要用于伊莎贝尔/霍尔. 连同伊莎贝尔/ ISAR实例化证明…

• 大锤

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

• 名义伊莎贝尔

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

• 挑剔

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

• 塞塔

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

• 奥特

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

• 中央结算系统

• 25篇参考文献[SW03357]
• 为PVS或用于伊莎贝尔/霍尔（在新的ISAR语法中）。翻译之后…

• 转移

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

• 举起

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

• 醪液

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

• 霍尔布吉

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

• 伊莎贝尔/马戏团

• 13篇参考文献[SW15208]
• 基于UTP的语义理论伊莎贝尔/霍尔）我们从这个语义推导证明规则…

• 自动阅读器

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

• 贝勒坎普扎森豪斯

• 8篇参考文献[SW28 596]
• 因式分解的无平方整数多项式伊莎贝尔/霍尔. 我们进一步适应现有的形式化…依赖类型是不可能的。伊莎贝尔/霍尔我们用伊莎贝尔形式化了整个算法。

• 霍尔Z

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

• 伊莎贝尔／UTP

• 10篇参考文献[SW21184]
• 统一编程理论（UTP）伊莎贝尔/霍尔. UTP是研究的框架，形式化…

• 拉尔

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

• 霍尔试验

• 9篇参考文献[SW17720]
• 推理与定理证明环境伊莎贝尔/霍尔…

• 普雷斯伯格自动机

• 9篇参考文献[SW28 603]
• 定理证明器中的字符串伊莎贝尔/霍尔. 它是基于反射的决策的基础。