【計(jì)】 routine verification

程序的英語(yǔ)翻譯：

formality; ground rule; procedure; proceeding; process; program
【計(jì)】 P; problem determination aid; PROC; program; related channel program
【化】 sequence
【經(jīng)】 program; sequence

驗(yàn)證的英語(yǔ)翻譯：

test and verify
【計(jì)】 proofness; proving; validate; verification; verify check; verifying
【化】 proof; verification
【經(jīng)】 examine