自动验证翻译

英语翻译：

【计】 automated proof; autoverification

分词翻译：

自动的英语翻译：

auto; automatism; of one's own accord; self-motion
【计】 augomatic; automated
【医】 aut-; auto-; automatic movement; automatism; spontaneous movement
telergy

验证的英语翻译：

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