如何利用什么数学技术来证明算法的正确性？ “ 部分正确性”： We do not care whether execution ever reaches the endpoint, but that if it does we will not be in a situation where the outputs differ from the expected ones. we wish to capture the behavior of the algorithm by making careful statements about what it is doing at certain points. we thus attach intermediate assertions to various checkpoints in the algorithm's text如何利用什么数学技术来证明算法的正确性？ ◼ “部分正确性”： ❑ We do not care whether execution ever reaches the endpoint, but that if it does we will not be in a situation where the outputs differ from the expected ones. ❑ we wish to capture the behavior of the algorithm by making careful statements about what it is doing at certain points. ❑ we thus attach intermediate assertions to various checkpoints in the algorithm’s text