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

computer program verification
.תְעוּ	计算机程序审定