• 目标3

  • 引用138篇文章[sw05370]
  • 硬件验证,等等。它是第一个实现的语言参数化编程。。。
  • 台阶

  • 引用36篇[sw17948]
  • 允许验证包括参数化(N元件)电路设计。。。
  • TLPVS公司

  • 在10篇文章中引用[sw10024]
  • 的排名规则验证响应属性的参数化系统介绍。。。特别关注验证无界系统-在其中。。。
  • 辅助验证器

  • 引用2篇文章【sw13777】
  • 证明参数化缓存一致性协议。参数化 验证缓存一致性协议是一个重要的。。。然后可以把它们的关系推广到参数化自动构造正式证据的窗体。。。
  • 皮马格

  • 引用2篇文章[sw10090]
  • 硬流水线机器-验证问题。我们提出一个参数化一系列基准问题产生于。。。
  • Fg指数

  • 引用9篇文章[sw18892]
  • 不执行候选查询答案验证. 当查询是不频繁的图时,FG索引。。。索引的大小参数化好吧。我们的大量实验验证了查询处理。。。
  • 占上风

  • 参考7篇文章[sw02114]
  • VHDL描述作者描述了一个验证证明等效性的环境。。。环境需要重言式检查器。参数化重复的结构和设计描述。。。
  • 引用8篇文章[sw10132]
  • 支持内存模型的功能验证:(i)它使用了一个简单通用的内存抽象。。。内存模型可以在参数化样式设计师可以简单地重新定义。。。
  • CPBPV公司

  • 引用5篇文章[sw00164]
  • 一种新的有界程序约束规划框架验证(CPBPV)。CPBPV框架使用约束存储。。。表达约束存储。最后,CPBPV是参数化有一个解算器的列表。。。
  • 欧米茄

  • 引用3篇文章[sw19624]
  • 支持开发、出版、正式化,以及验证在一个自然的数学文档中。。。通过使用灵活的文本结构,参数化我们提供的证明语言。从这个非正式的。。。
  • 塞维

  • 引用2篇文章[sw06547]
  • SeVe:自动工具验证安全协议在安全协议中扮演着越来越重要的角色。。。嵌入参与者的知识和参数化攻击者的能力。使用这个。。。在这个框架下引入,并且验证给出了算法。结果。。。
  • 毕加索

  • 1条引用[sw11972]
  • 描述了航空航天公司参数化图像链分析与模拟软件(毕加索)工具。。。作为验证过程)。在本文中,我们扩展讨论。。。
  • 公理

  • 参考170篇文章[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 差距

  • 引用2850篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。