• PVS公司

  • 引用627篇文章[sw03484]
  • 验证系统:也就是说,与支持工具和定理证明程序集成的规范语言。。。机械化正规化的最新技术方法足够坚固。。。
  • 咖啡馆

  • 参考170篇文章[sw06232]
  • 行为系统验证。我们报告支持的计算机方法用于验证安全属性。。。
  • 团结

  • 引用185篇[sw13461]
  • 耦合态转移系统。机械的方法把过渡系统首先映射到。。。正式的断言,允许正式的验证转换系统,第二个变成可执行程序。。。
  • 参考文献613篇[sw16554]
  • 缩放不变关键点。本文提出了一个方法为了从图像中提取不同的不变特征。。。单个对象,最后执行验证通过最小二乘法求解一致的姿态参数。这个。。。
  • 视觉

  • 17条引用[sw40003]
  • 最近在德克萨斯大学奥斯汀分校。验证是检查“什么…”的过程。。。而传统的和最常见的方法属于验证是通过模拟,最近,兴趣。。。增加方法正式的验证例如语言包容和时态逻辑模型检查。。。
  • 霍尔布吉

  • 在14篇文章中引用[sw00409]
  • 一阶逻辑中的注释。\帕里茨验证条件——通过wp微积分从这些。。。结合自动和交互式证明方法对于代码-验证.\parWe将利用我们的证明环境。。。内存和机器模型验证 方法...
  • 发现者

  • 在56篇文章中引用[sw07719]
  • 项目进展验证表示各种验证问题可以归结为半代数问题。。。真正封闭的领域是一般的方法为了那些问题。但是将军。。。方法对于特定问题通常效率较低。克服程序瓶颈验证... 特殊技术与一般技术相结合方法.基于完全歧视系统的工作。。。
  • 台阶

  • 引用36篇[sw17948]
  • 时间规范。与大多数系统不同的是验证,步进不限于有限状态。。。模型检验与演绎检验相结合方法允许验证一个广泛的阶级。。。
  • 中央军委

  • 在34篇文章中引用[sw12422]
  • 完全不同方法与现有的实时验证工具(HYTECH、KRONOS、UPPAAL)。之后。。。
  • Exp.打开

  • 在10篇文章中引用[sw07702]
  • 秩序、构图和动态验证 方法。最好将形式验证...
  • 日期/日期

  • 引用了37篇文章[sw10314]
  • 输入不确定。这个验证程序基于方法对于过度接近可及集。。。
  • 真相/SLC

  • 引用8篇文章[sw01623]
  • 它们的实施。正式规范和验证 方法因此变得越来越受欢迎,目的是。。。论形式的内在复杂性方法最好能为用户提供。。。特别成功的自动化方法验证,称为模型检查,其中一个人试图证明。。。
  • 找不同

  • 引用16条[sw00200]
  • 查找工具实现了方法对于验证描述的基于组件的系统。。。
  • 克提格

  • 参考7篇文章[sw23310]
  • 抽象提炼(CTIGAR)。典型的CEGAR基验证 方法根据完整的。。。
  • APMC公司

  • 引用28篇文章[sw11483]
  • 符号模型检查方法最近扩展到验证概率系统。然而。。。本文中,我们提出了一个近似值方法为了验证离散马尔可夫链的定量性质。。。
  • 克拉

  • 参考第6条[sw35399]
  • 克拉:一部小说方法用高密度法检测DNA拷贝数变化的等位基因。。。与独立公司的结果一致验证 方法结论:总的来说,CARAT自动检测复制区域。。。
  • 原子弹

  • 引用3篇文章[sw19057]
  • 程序开发专用语言验证 方法它用于多语言软件。。。快速开发和测试验证 方法。易于使用的专业语言允许。。。系统用户描述验证 方法在自然记数法中,验证算法。。。必要时他们的陈述验证 方法与其他用户合并。在这个。。。
  • 明洛

  • 引用了20篇文章[sw09765]
  • 实现了证明理论方法并应用于验证和程序提取。我们给予。。。
  • PPL公司

  • 引用97篇文章[sw05357]
  • 用于分析和验证硬件和软件组件。当前应用范围。。。在正式的方法社区和一些关键任务依赖。。。
  • 基准

  • 引用25篇文章[sw04612]
  • 安全验证非线性混合系统。我们从古典音乐开始方法它使用。。。