程序检验英文解释翻译、程序检验的近义词、反义词、例句
英语翻译：
【计】 routine test
分词翻译：
程序的英语翻译：
formality; ground rule; procedure; proceeding; process; program
【计】 P; problem determination aid; PROC; program; related channel program
【化】 sequence
【经】 program; sequence
检验的英语翻译：
check up; examine; inspect; proof; prove
【计】 CH; checkout; V; verify; verify check; verifying
【化】 checking; examine
【医】 analysis; coroner's inquest; docimasia
【经】 inspection; monitoring; proof; test; verification; verify
网络扩展解释
程序检验
程序检验（chēng xù jiǎn yàn）是指对程序进行验证，以确定其是否遵循指定的规范和标准。
英文解释
英文解释为Program Verification。
英文读音
英文读音为/ˈproʊɡræm ˌvɛrəfəˈkeɪʃən/。
英文用法
Program Verification可以作为名词使用，例如：Many companies use program verification to ensure the quality of their software development process.（很多公司使用程序检验来确保其软件开发过程的质量。）
英文例句
- Formal program verification is the gold standard of software correctness.（正式的程序检验是软件正确性的黄金标准。）
- Program verification can help prevent costly mistakes.（程序检验可以帮助防止昂贵的错误。）
英文近义词
- Code review：代码审查
- Testing：测试
- Validation：验证
英文反义词
- Bug：缺陷
- Defect：错误
英文单词常用度
Program Verification在技术文档和论文中比较常见，但在口语和日常英语中使用较少。