“程序校验”常见的英文表达是 "program verification" 或 "program checking"。
"program verification" 更强调通过严谨的数学或逻辑方法验证程序是否符合预期规范，常用于形式化验证领域。
"program checking" 则侧重于对程序运行结果的检查或测试，确保其正确性。
根据具体语境选择更合适的表达即可。