English translation for "程序的形式验证"
|
- formal verification of programs
Related Translations:
形式验证: formal verification 验证测量: confirmatory measurementconfirmatorymeasurement 验证系统: epidverification system 验证职能: 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
|
|
|
