• 毫升

• 引用517篇文章[sw01218]
• 编写编译器，自动化定理证明与形式化验证. （维基百科。。。

• ETPS公司

• 引用156篇文章[sw06302]
• 定理证明包括硬件和软件两部分验证，部分自动化各种数学活动，促进发展。。。

• 原因3

• 引用130篇文章[sw04438]
• 为什么3是演绎程序的平台验证. 它为规范提供了丰富的语言。。。外部定理证明者自动化和互动，以释放验证条件。为什么3有。。。自动化提取机制。WhyML也被用作验证...

• 测试程序集

• 引用71篇文章[sw00973]
• 定理证明包括硬件和软件两部分验证，部分自动化各种数学活动，促进发展。。。

• 颜色

• 在38篇文章中引用[sw09806]
• 关系及其在自动化 验证终止证书。终止是一个重要的。。。同时将其应用于自动化 验证由终止协议产生的终止证书。。。

• 验证

• 参考33篇文章[sw02011]
• VerICS）是我们的原始工具自动化 验证时间自动机和协议。。。研究项目的一部分自动化 验证研究所里的时间依赖系统。。。

• 凯玛拉

• 引用41篇文章[sw03709]
• 混合动力系统。KeYmaera是一种混合动力验证混合系统的工具，结合演绎，真实。。。自动化一个自然规范的交互定理证明器和验证混合动力系统的逻辑。。。混合自动机的程序表示法。为自动化这个验证过程中，keymera实现了一个广义的自由。。。

• 臀部

• 引用的第27条[sw09786]
• 基于分离逻辑自动化 验证系统为简单的命令式语言，能够模块化验证。。。

• 棱镜游戏

• 17条引用[sw12934]
• 支持建模的多人游戏，自动化 验证以及概率系统的策略综合。。。

• 穿线机

• 在14篇文章中引用[sw09938]
• 程序。螺纹工具是一种自动化 验证安全性和终端性能的多。。。

• 揭示

• 引用了20篇文章[sw00801]
• 描述展示正式功能验证系统及其在四种有代表性的硬件测试中的应用。。。有了这个系统，我们相信自动化这个验证对于一类有用的硬件。。。

• 捕食者

• 17条引用[sw07396]
• 贡献）。捕食者是自动化正式的验证连续C程序的运行。。。

• 为什么

• 引用25篇文章[sw09709]
• 各种现有自动化以及交互定理证明。保持验证可理解的条件。。。自动化提取机制。WhyML也被用作验证...

• F*

• 引用了20篇文章[sw27563]
• 针对程序的效果验证. 它把自动化SMT支持的演绎。。。

• 视觉状态

• 引用9篇文章[sw07481]
• 验证大型状态/事件系统使用组合性和依赖性分析状态/事件模型。。。状态/事件模型。这就有可能自动化 验证大型工业设计。。。

• HSF公司

• 引用9篇文章[sw09937]
• 条款。SF是一个框架自动化 验证程序的。HSF（C）是实例化。。。

• 讽刺

• 在38篇文章中引用[sw04648号]
• 特别适合验证电子设计中的优化问题自动化. 讽刺是建立。。。

• 鹰

• 引用8篇文章[sw31989]
• 用于自动化 验证同时博弈中的纳什均衡。反应模块。。。

• 飞天螳螂

• 引用16条[sw09467]
• 镰刀工具：验证，伪造和安全协议分析。随着互联网的兴起。。。到目前为止自动化伪造或验证关于国家的协议。。。

• CITP公司

• 参考7篇文章[sw25269]
• 的默认验证策略自动化 验证观测过渡系统（OTS），但该地区。。。