软件验证技术

- 中南大学 信息科学与工程学院 任胜兵 - 7.9 程序正确性证明 - 测试可以帮助人们发现程序中的错误，但它却不能证明程序中没有错误。 早在50年代