• CITP公司

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

• 格泽尔

• 参考6篇文章[sw04151]
• 语义和验证在本文中，我们考虑了一种用于硬件体系结构建模的语言。。。Gezel的语义域。瞄准自动化 验证我们把这个域与定时。。。

• 毒蛇

• 引用8篇文章[sw15038]
• 基于权限推理的基础设施。这个自动化属于验证基于一阶逻辑的技术。。。

• 法律规则

• 引用5篇文章【sw30411】
• 用法律规则推理。为了自动化 验证流程，用自然语言书写的监管规则。。。影响，这是自动化合规性检查。本文提出了一种方法。。。

• B瓦雷

• 引用5篇文章[sw10405]
• 机械化框架自动化 验证证明义务的发展。。。

• 真有趣

• 在10篇文章中引用[sw22187]
• VeriFun是一个推理系统验证关于程序的陈述用一个简单的。。。教学系统自动化推理，语义学，验证以及类似的主题，并且已经被使用。。。

• 霍尔布吉

• 在14篇文章中引用[sw00409]
• 验证从这些注释中通过wp演算构造的条件通常被传递到自动化... 特定技术组合自动化以及代码的交互式证明方法-验证.\parWe将利用。。。

• 真相/SLC

• 引用8篇文章[sw01623]
• 实现的正确性。正式规范和验证因此，方法变得越来越。。。有一个特别成功自动化接近验证，称为模型检查，其中。。。

• 验证者

• 引用2篇文章[sw12878]
• 半-自动化 验证量子密码协议的安全证明。本文提出了一种形式化的。。。半框架-自动化 验证量子密码协议的安全证明。我们简化。。。

• TCAS系统

• 引用5篇文章[sw21413]
• 管制空域的理论。这个验证步骤目前是用手动代码实现的。。。约束编程的能力自动化软件验证和测试。我们建立了一个专门的约束。。。

• 发起人

• 引用4篇文章[sw06738号]
• promotor，一个完全自动化程序模块化验证的Java程序的方法。。。模块化的自然实例化验证范式，其中全局属性的正确性相对化。。。开放平台代码）。发起人自动化典型的验证以前为一个场景开发的工具。。。

• 悲伤

• 在14篇文章中引用[sw09796]
• 系统自动化演绎：证明的工具验证. 在这篇论文中，一个证明。。。

• 拖把

• 引用23条[sw10117]
• 手册验证太贵了，我们已经建立了一个程序分析工具自动化这个。。。

• 心理同步

• 引用4篇文章[sw17450]
• 容错分布式算法及其实现自动化正式的验证. 我们已经实现了一个嵌入。。。

• 电视

• 引用2篇文章[sw09811]
• 程序集自动化 验证并发和反应系统。TVT有它的根源。。。

• 杰伯斯坦

• 引用2篇文章【sw19486】
• 在许多情况下，算术约束是必不可少的自动化 验证混合系统的综合任务，控制。。。

• 瓜多尔

• 引用2篇文章[sw28543]
• 瓜多尔语和验证系统。Guardol是一种特定于领域的语言，旨在促进。。。并提供规范和自动化 验证支持。保护程序和规范被翻译。。。

• 沙漏

• 引用2篇文章[sw13794]
• 敌对环境。作为向自动化 验证，我们实现了验证条件发生器（VCGen。。。

• VCGen公司

• 引用2篇文章[sw13795]
• 敌对环境。作为向自动化 验证，我们实现了验证条件发生器（VCGen。。。

• 分离逻辑

• 参考7篇文章[sw28549]
• 证明方法自动化典型任务，如验证条件生成和帧推理。而且。。。