正式验证的英文

发音:

"正式验证"怎么读用"正式验证"造句

英文翻译手机版

formal verification

"正式"英文翻译 formal; official; regular
"验证"英文翻译 test and verify; checking; p ...
"形式验证" 英文翻译 : formal verification
"正式验收" 英文翻译 : formal acceptance; formal inspection; official acceptance
"正式验收试验" 英文翻译 : official acceptance test
"程序的形式验证" 英文翻译 : formal verification of programs
"分布式验证服务" 英文翻译 : das distributed authentication service
"可插入式验证模块" 英文翻译 : pam
"验证" 英文翻译 : test and verify; checking; proving; testing; confirmation; [数学] corroboration; inspection; verification
"正式" 英文翻译 : formal; official; regular 正式列入记录 be officially placed on record; 达成正式协议 reach a formal agreement; 代表团的正式成员 a regular member of the delegation; 未经正式介绍 without a regular introduction; 大会于6月24日正式开幕。 the conference formally opened on june 24.; 正式比赛 regulation game; 正式成员 full scale members; full member; 正式承认 [法律] be duly admitted; due admittance; 正式催告 peremptory call; 正式答复(被告的) formal answer (of a defendant to a claim); 正式访问 official [formal] visit; 正式会谈 formal talks; 正式会[委]员 full member; 正式记录 official records; 正式警告 formal warning; 正式签署 official signature; 正式权限 formal authority; 正式声明 official statement; 正式授权 [法律] be duly anthorized; due authorization; 正式通知 rightful notice; formal notification; 正式委托 official commission; (经销协定的)正式文本 standard form of agency agreement; official text; 正式协议 formal agreement; 正式运转 production run; 正式照会 official communication
"键式验孔" 英文翻译 : key verify
"平式验袜板" 英文翻译 : flat examining board
"无载式验" 英文翻译 : no load test
"箱式验潮仪" 英文翻译 : box gauge
"【造船】空泡式验筒。" 英文翻译 : cavitation tunnel
"电容式验电器" 英文翻译 : condensing type electroscope
"浮子式验潮仪" 英文翻译 : float tide gauge; float-type tide gauge
"快速固结式验" 英文翻译 : quick consolidated test
"压力式验潮仪" 英文翻译 : pre ure tide gauge,; pressure tide gauge,
"补气引压式验潮仪" 英文翻译 : gas purged pressure recording gauge; pneumatic bubbling gauge
"电容器式验电器" 英文翻译 : condenser electroscope
"检验, 验证" 英文翻译 : verify check
"检验证" 英文翻译 : cermet of inspection; inspection certificate
"可验证" 英文翻译 : verifiable
"免验证" 英文翻译 : laissez passer

例句与用法

A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification
一种支持分布式系统的正式验证且广泛发布的软件包是用于硬件验证的时态逻辑模型检查的示例。