[计] programming correctness proof, proof of program correctness

chéng xù zhèng què xìng zhèng míng ㄔㄥˊ ㄒㄩˋ ㄓㄥˋ ㄑㄩㄝˋ ㄒㄧㄥˋ ㄓㄥˋ ㄇㄧㄥˊ