• Obj3

  • 138篇参考文献[SW05370]
  • 硬件验证等等。这是第一个实现的语言。参数化编程
  • 步骤

  • 36篇参考文献[SW17948 ]
  • 允许验证一类广泛的系统,包括参数化(n分量)电路设计…
  • TLPVS

  • 10篇参考文献[SW10024]
  • 的秩规则验证响应特性参数化系统介绍…特别注意的是验证无界系统-系统中…
  • 仲生长器

  • 2篇参考文献[SW1377]
  • 证明参数化缓存一致性协议。参数化 验证缓存一致性协议是重要的…关系可以概括为他们的关系。参数化形式自动构造形式证明…
  • 皮马格

  • 2篇参考文献[SW10090]
  • 硬流水线机器验证问题。我们提出了一个参数化套件产生的基准问题…
  • FG指数

  • 9篇参考文献[SW18892]
  • 不执行候选者查询答案验证. 当查询是一个不频繁的图时,FG索引…A中索引的大小参数化方式。我们的大量实验验证了查询处理…
  • 盛行

  • 6篇参考文献[SW02114]
  • VHDL描述作者描述了一个正式的验证证明等价的环境…环境要求重言式检查器。参数化重复结构和设计描述…
  • 乌姆

  • 8篇参考文献[SW10132]
  • 支持内存模型的特性验证(i)它采用了简单而通用的内存抽象…内存模型可以在参数化风格设计师可以简单地重新定义…
  • CPBPV

  • 5篇参考文献[SW0164]
  • 一种新的有界程序约束规划框架验证(CPBPV)。CPBPV框架使用约束存储…表示约束存储。最后,CPBPV是参数化一个解决方案清单…
  • 欧米茄

  • 3篇参考文献[SW19624]
  • 支持开发、发布、形式化和验证数学文献中的自然…使用灵活的语篇结构参数化我们提供的证明语言。从这个非正式的…
  • 塞夫

  • 2篇参考文献[SW06567]
  • 自动工具验证安全协议在安全协议中扮演着越来越重要的角色。嵌入参与者的知识参数化攻击者的能力。用这个…在这个框架下介绍验证文中还给出了算法。这个结果…
  • 毕加索

  • 1篇参考文献[SW11972]
  • 描述宇航公司的参数化图像链分析与仿真软件(PICASSO)工具…作为其中的一部分验证过程)。在本文中,我们扩展了讨论…
  • 可可

  • 601篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

  • 2702篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…