What does Djikstra mean by "formal techniques" in this essay?
It seems quite clear that Dijkstra did mean what is known today as formal methods. He also had the idea that calculations should replace mathematical proof in prose, which you can find in some of the EWDs. It seems that so far his dream hasn't been realized, and while formal methods are used in some extreme circumstances, the average programmer has no use for them.