程序验证

【计】 routine verification

程序的英语翻译：

formality; ground rule; procedure; proceeding; process; program
【计】 P; problem determination aid; PROC; program; related channel program
【化】 sequence
【经】 program; sequence

验证的英语翻译：

test and verify
【计】 proofness; proving; validate; verification; verify check; verifying
【化】 proof; verification
【经】 examine