• 目标3

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

• 台阶

• 引用36篇[sw17948]
• 允许验证包括参数化（N元件）电路设计。。。

• TLPVS公司

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

• 辅助验证器

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

• 替代物

• 引用16条[sw04888号]
• 程序验证. Alt-Ergo基于CC（X）a同余闭包算法参数化...

• 皮马格

• 引用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]
• 描述了航空航天公司参数化图像链分析与模拟软件（毕加索）工具。。。作为验证过程）。在本文中，我们扩展讨论。。。

• SuperLU距离

• 引用了83篇文章[sw00002]
• 超级图书馆是一个通用图书馆。。。

• ANSYS软件

• 引用655篇文章[sw00044]
• ANSYS提供了一个全面的软件套件，跨越。。。

• 公理

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

• CGAL公司

• 引用了355篇文章[sw00118]
• CGAL开源项目的目标。。。

• 可可

• 参考文献621篇[sw00143]
• CoCoA是一个交换计算系统。。。

• 可口可乐

• 在1784篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• 差距

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