“程序校验”常见的英文表达是 "program verification" 或 "program checking"。
"Program verification" 更侧重于通过形式化方法等手段，对程序的正确性进行严格证明，确保程序满足其规格说明。
"Program checking" 也有类似含义，强调对程序进行检验、核查，以发现其中可能存在的错误或不符合要求之处 。
在实际使用中，可根据具体语境和表达习惯选择合适的表述。