• 摩卡

  • 引用89篇文章[sw12935]
  • 新产品开发工具验证 算法和方法。摩卡有两种版本。。。
  • 引用597篇文章[sw16554]
  • 使用快速最近邻的已知对象算法,然后用Hough变换来识别。。。单个对象,最后执行验证通过最小二乘法求解一致的姿态参数。这个。。。
  • 高超声速

  • 引用文献322篇[sw04125]
  • 通过符号模型验证。如果验证失败,然后HyTech生成一个诊断错误。。。追踪。HyTech的标准参考算法是[1],标准参考。。。
  • 单位步行

  • 在34篇文章中引用[sw00993]
  • 从图着色问题到微处理器验证. 我们的算法灵感来自两个随机的算法...
  • SpaceEx公司

  • 引用66篇文章[sw10939]
  • SpaceEx:可扩展验证混合动力系统。我们提出了一个可伸缩的可达性算法对于混合动力系统。。。算法. 这个算法作为SpaceEx的一部分实现验证混合动力平台。。。
  • nuXmv公司

  • 引用了20篇文章[sw18526号文件]
  • 最先进的nuXmv验证 算法. 对于无限状态系统,它扩展了。。。在多个工业项目中用作验证后端,它是基础。。。
  • 不明飞行物

  • 引用19篇文章[sw09570]
  • 研究人员设计和试验验证 算法. 它允许定义不同的抽象post运算符。。。
  • LTSmin公司

  • 17条引用[sw07214]
  • 例如,检查状态空间验证安全属性),符号状态的可达性。。。语言模块、引脚优化和模型检查算法... 另一方面,实现一个验证 算法根据引脚矩阵自动。。。
  • 塞萨尔

  • 引用156篇文章[sw08510]
  • 规范和验证塞萨尔的并发系统。本文的目的。。。CESAR允许对算法描述了一种串行通信系统。。。给定的规范集。这个算法描述是在高级语言的启发下完成的。。。单调谓词变换器的不动点。这个验证一个系统的关键在于获得。。。
  • JTLV公司

  • 引用8篇文章[sw08859]
  • Jtlv:一个开发框架验证 算法. Jtlv是一个计算机辅助的验证脚本环境。。。集成开发人员环境算法 验证应用。Jtlv可以查看。。。
  • 投资

  • 在10篇文章中引用[sw12034]
  • 投资:为验证不变量。一类非常重要的属性。。。算法方法。在本文中,我们提出了一个支持验证... 系统。In-VeSt集成了演绎和算法 验证原则验证不变性。。。
  • 努西姆

  • 引用第294条[sw04131]
  • 验证工具,作为正式验证并应用于其他研究领域。。。包在有界模型检查中的应用算法...
  • 发现者

  • 参考第40条[sw07719]
  • 项目进展验证表示各种验证问题可以归结为半代数问题。。。由多项式方程和多项式不等式组成。算法对于实封闭域的量词消除。。。问题。克服程序瓶颈验证用象征性的方法。。。发明了新的理论和算法[32,30,35]解决SAS问题并部分实现了它们。。。
  • 基础知识

  • 引用31篇文章[sw12910]
  • 逻辑综合与形式化领域系统验证同步电路中出现的二进制逻辑电路。。。创新的算法. 序列综合与序贯合成的协同研究验证引导。。。
  • 瑜伽士

  • 参考12篇文章[sw13094]
  • 测试。瑜伽士完成冲刺算法执行任务验证通过将定向测试和抽象结合起来。。。属性。我们发现新的算法使瑜珈修行者能够比猛击更好地伸缩。。。
  • 敖德萨

  • 引用28篇文章[sw00647]
  • 算法658趶ODESSA-一个具有显式同时灵敏度分析的常微分方程解算器。敖德萨。。。程序使用和可选功能、安装和验证本文讨论了考虑因素。。。
  • 薄片

  • 引用8篇文章[sw23311号文件]
  • 中间表示法验证语言(IVL)。寻找LLVM IR漏洞。。。平台简化了算法对于验证模型检查和抽象解释。。。
  • 垫片

  • 引用8篇文章【sw19496】
  • 基于符号模型检测算法为了安全验证递归程序。这个算法是模块化的。。。