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

proof of program correctness
.טכנול	★ 程序正确性证明
proof of programme correctness
.טֶכנו	程序正确性证明