I mostly agree with him that the paper is poorly argued (I have no love for formal verification). However he ignores the most salient point that it makes: that the effort of verification must be applied everytime a programmer makes a change to a codebase.
Comments
As I read it I found myself wishing I could hear Dijkstra's reaction.. and lo:
http://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD638....
I mostly agree with him that the paper is poorly argued (I have no love for formal verification). However he ignores the most salient point that it makes: that the effort of verification must be applied everytime a programmer makes a change to a codebase.