-
仲生长器
- 2篇参考文献[SW1377]
- 证明参数化缓存一致性协议。参数化 验证缓存一致性协议是重要的…关系可以概括为他们的关系。参数化形式自动构造形式证明…
-
FG指数
- 9篇参考文献[SW18892]
- 不执行候选者查询答案验证. 当查询是一个不频繁的图时，FG索引…A中索引的大小参数化方式。我们的大量实验验证了查询处理…
-
盛行
- 6篇参考文献[SW02114]
- VHDL描述作者描述了一个正式的验证证明等价的环境…环境要求重言式检查器。为参数化重复结构和设计描述…
-
乌姆
- 8篇参考文献[SW10132]
- 支持内存模型的特性验证（i）它采用了简单而通用的内存抽象…内存模型可以在参数化风格设计师可以简单地重新定义…
-
CPBPV
- 5篇参考文献[SW0164]
- 一种新的有界程序约束规划框架验证（CPBPV）。CPBPV框架使用约束存储…表示约束存储。最后，CPBPV是参数化一个解决方案清单…
-
欧米茄
- 3篇参考文献[SW19624]
- 支持开发、发布、形式化和验证数学文献中的自然…使用灵活的语篇结构参数化我们提供的证明语言。从这个非正式的…
-
塞夫
- 2篇参考文献[SW06567]
- 自动工具验证安全协议在安全协议中扮演着越来越重要的角色。嵌入参与者的知识参数化攻击者的能力。用这个…在这个框架下介绍验证文中还给出了算法。这个结果…
-
毕加索
- 1篇参考文献[SW11972]
- 描述宇航公司的参数化图像链分析与仿真软件（PICASSO）工具…作为其中的一部分验证过程）。在本文中，我们扩展了讨论…
