It would seem that Dijkstra, were he alive, would disagree with that. Check google for Proof of Correctness for Dijkstra&#x27;s algorithm.<p>Also, Knuth in TAoCP spends significant time proving his programs correct.<p>Further, there is a compiler that is asserted to be proven correct: <a href="http:&#x2F;&#x2F;compcert.inria.fr&#x2F;" rel="nofollow">http:&#x2F;&#x2F;compcert.inria.fr&#x2F;</a><p>Now it is possible you are working with a different definition of &quot;proved correct&quot; than I am thinking.