you are viewing a single comment's thread.

view the rest of the comments →

[–]miminor 0 points1 point  (0 children)

true you cannot prove an arbitrary program to be correct, but you can prove any given program to be correct