Quote:
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.