אנגלית ⇄ סינית +

automated program verifier
.תקשור	自动化程序检验程序