21,453
次編輯
變更
→参考文献
Dijkstra大力提倡程序正确性证明，但这一方法离实用还有相当距离，因为一段源程序的正确性证明的文字往往比源代码还要长，所以充分的软件测试今天仍不可或缺。
==相關影片=={{#evu:https://www.youtube.com/watch?v=RCCigccBzIU|alignment=inline |dimensions=640|container=frame|description= Edsger W. Dijkstra on Dutch TV}} {{#evu:https://www.youtube.com/watch?v=mLEOZO1GwVc|alignment=inline |dimensions=640|container=frame|description= Edsger Dijkstra interview}} {{#evu:https://www.youtube.com/watch?v=zjmsO0QHQxA|alignment=inline |dimensions=640|container=frame|description= 1972 Turing Award Winner Edsger Wybe Dijkstra}} {{#evu:https://www.youtube.com/watch?v=GX3URhx6i2E|alignment=inline |dimensions=640|container=frame|description= Edsger W. Dijkstra - Lecture: Reasoning About Programs - Solving 2 problems using programing - 1990}}＿{{clear}}=参考文献=
{{reflist}}