1) e Verification Component
e验证组件
2) E verification language
E验证语言
3) software verification
软件验证
1.
ODA software verification;
光学设计自动化软件验证技术概述
2.
To this end, people raise a series of concepts and theories like software reliability, software verification, software quality assurance, software testing and etc.
为此,人们提出了软件可靠性、软件验证、软件质量保证、软件测试等一系列概念和理论。
4) verification condition
验证条件
5) hardware verification
硬件验证
1.
ANSI-C bounded model checker and hardware verification using CBMC;
ANSI-C语言的有界模型检测及其在硬件验证中的应用
2.
The traditional verification methods are: simulation, testing and emulation, but these methods are not complete, formal verification methods are used into hardware design, then formal hardware verification technology is produced.
随后对用HOL系统进行硬件验证和验证中的关键技术:抽象技术、层次化验证技术进行研究。
6) Component Verification
构件验证
1.
The Research of Software Testing Technology and Software Component Verification;
软件测试技术及软件构件验证的研究
补充资料：“十”形吹洗组件
分子式：
CAS号：
性质：一种包括三个阀门和一根进气管接头的吹气集管结构。安装在钢瓶和减压器之间。三个阀门中一个是减压器隔离阀，一个是高压旁路阀和一个吹洗气体进口阀。在各部分之间交叉管道的内部通路呈“十”形。316不锈钢焊接结构，高纯无填料膜片阀，在组装前采用超声波洁净处理，在100级洁净室中组装和包装。在更换钢瓶时可消除污染，防止有毒气体外漏以及由于空气中水分进入系统而导致的腐蚀作用。
CAS号：
性质：一种包括三个阀门和一根进气管接头的吹气集管结构。安装在钢瓶和减压器之间。三个阀门中一个是减压器隔离阀，一个是高压旁路阀和一个吹洗气体进口阀。在各部分之间交叉管道的内部通路呈“十”形。316不锈钢焊接结构，高纯无填料膜片阀，在组装前采用超声波洁净处理，在100级洁净室中组装和包装。在更换钢瓶时可消除污染，防止有毒气体外漏以及由于空气中水分进入系统而导致的腐蚀作用。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条