English translation for "自动程序验证"

automatic program verification

Related Translations:

验证试车:  confirmation test

验证测量:  confirmatory measurementconfirmatorymeasurement

验证系统:  epidverification system

验证应力:  proof stress

形式验证:  formal verification

证明验证:  review

已验证:  authenticated

验证职能:  attestation function

硬件验证:  hardware verificationverification hardwareverification, hardware

判定验证:  decision verification

Similar Words：

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