• 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]
  • 证明方法自动化典型任务,如验证条件生成和帧推理。而且。。。