流程图程序的正确性证明

2.1 引言 当我们编制计算机程序时,我们的目的是程序要实现某种特定的计算。但是,正象许多程序设计者感到伤脑筋的那样,我们所编写的程序大多难免有错误(或故障)。所以,通常要花费很多程序设计时间来测试和排除我们所编写的(不正确的)程序。