-
辅助验证器
- 引用2篇文章【sw13777】
- 证明参数化缓存一致性协议。参数化 验证缓存一致性协议是一个重要的。。。然后可以把它们的关系推广到参数化自动构造正式证据的窗体。。。
-
Fg指数
- 引用9篇文章[sw18892]
- 不执行候选查询答案验证. 当查询是不频繁的图时,FG索引。。。索引的大小参数化好吧。我们的大量实验验证了查询处理。。。
-
占上风
- 参考7篇文章[sw02114]
- VHDL描述作者描述了一个验证证明等效性的环境。。。环境需要重言式检查器。为参数化重复的结构和设计描述。。。
-
嗯
- 引用8篇文章[sw10132]
- 支持内存模型的功能验证:(i)它使用了一个简单通用的内存抽象。。。内存模型可以在参数化样式设计师可以简单地重新定义。。。
-
CPBPV公司
- 引用5篇文章[sw00164]
- 一种新的有界程序约束规划框架验证(CPBPV)。CPBPV框架使用约束存储。。。表达约束存储。最后,CPBPV是参数化有一个解算器的列表。。。
-
欧米茄
- 引用3篇文章[sw19624]
- 支持开发、出版、正式化,以及验证在一个自然的数学文档中。。。通过使用灵活的文本结构,参数化我们提供的证明语言。从这个非正式的。。。
-
塞维
- 引用2篇文章[sw06547]
- SeVe:自动工具验证安全协议在安全协议中扮演着越来越重要的角色。。。嵌入参与者的知识和参数化攻击者的能力。使用这个。。。在这个框架下引入,并且验证给出了算法。结果。。。
-
毕加索
- 1条引用[sw11972]
- 描述了航空航天公司参数化图像链分析与模拟软件(毕加索)工具。。。作为验证过程)。在本文中,我们扩展讨论。。。