Mobile
Log In Sign Up
Home > english-chinese > "程序的形式验证" in Chinese

Chinese translation for "程序的形式验证"

formal verification of programs

Related Translations:
形式验证:  formal verification
验证试车:  confirmation test
验证测量:  confirmatory measurementconfirmatorymeasurement
验证系统:  epidverification system
验证应力:  proof stress
证明验证:  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