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

automatic program verification system
.טכנול	自动程序验证系统