处理程序验证翻译

英语翻译：

【计】 processor verification

分词翻译：

处理程序的英语翻译：

【计】 manipulation program; processing program

验证的英语翻译：

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