- 证明: prove; testify; bear out
- 程序: procedure
- 正确性: exactness; correctness; soun ...
- 征明程序正确性: proving program correct
- 程序正确性证明: mathematical proofs of program correctness; programming correctness proof; proof of correctness; proof of program correctness
关注微信公众号：chachacidian，回复:证明程序正确性，即可在微信中查询翻译
