模块验证翻译

英语翻译：

【计】 module verification

分词翻译：

模块的英语翻译：

【计】 module
【化】 module

验证的英语翻译：

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