Chinese translation for "正式验证"

formal verification

Related Translations:

验证测量:  confirmatory measurementconfirmatorymeasurement

正式教员:  certificated teacher

正式代理人:  recognized agent

正式关系:  formal relationshipofficial relationship

正式茶点:  high tea

正式运转:  production run

正式欢迎:  official welcome

正式发誓:  duly sworn

正式版:  finalisokbuilder

正式聚会:  formal party

Example Sentences:

1.

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

Similar Words：

"正式训练费用" Chinese translation, "正式岩石地层单位" Chinese translation, "正式演员" Chinese translation, "正式验收" Chinese translation, "正式验收试验" Chinese translation, "正式样品" Chinese translation, "正式邀请" Chinese translation, "正式要求" Chinese translation, "正式业务文件" Chinese translation, "正式业务员" Chinese translation