Chinese translation for "自动程序验证程序"

automated program verifier

Related Translations:

验证试车:  confirmation test

验证测量:  confirmatory measurementconfirmatorymeasurement

验证系统:  epidverification system

验证应力:  proof stress

形式验证:  formal verification

证明验证:  review

已验证:  authenticated

验证职能:  attestation function

硬件验证:  hardware verificationverification hardwareverification, hardware

判定验证:  decision verification

Similar Words：

"自动程序设计语言" Chinese translation, "自动程序设计中的归纳法" Chinese translation, "自动程序生成" Chinese translation, "自动程序生成和更新系统" Chinese translation, "自动程序验证" Chinese translation, "自动程序验证系统" Chinese translation, "自动程序优化" Chinese translation, "自动程序语言" Chinese translation, "自动程序证明" Chinese translation, "自动程序制导" Chinese translation