Comment Re:Would stop a lot of development (Score 1, Interesting) 550
Yes. You can't "prove" that anything but a trivial program works correctly. I think that was the conclusion of the famous paper by Turing in the 1930's.
"I've seen it. It's rubbish." -- Marvin the Paranoid Android