4/7: PETA milk protest

[alphageek31337]

Originally posted by russotto

The class also involved proving programs correct, which is where I learned that attempting to prove a program correct is pointless because the proof is more error-prone than the program... I don't think the professor appreciated that insight :-).

(hmm, what happened to milk?)
[/b]

Just for curiousity's sake, how do you go about proving a program correct? The logical way is to compile it, run it, and see that it does what it's supposed to, but that's pretty much useless, educationally.