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

verification of synthesized code
.בינה	合成源代码的验证