partial correctness proof部分: part; section; portion正确性: exactness; correctness; soun ...证明: prove; testify; bear out部分正确性: partial correctness正确性证明: correctne proof; correctness proof; justification; proof of correctness下载手机词典可随时随地查词查翻译关注微信公众号：chachacidian，回复:部分正确性证明，即可在微信中查询翻译
