程序正确性证明

_

program correctness proof, proof of program correctness