3 ms·
Long story short: no. Long story: yes, but it'd take centuries to verify all possible inputs, at least for any non-trivial programs.
by taco_emoji 1y ago
Long story short: no.
Long story: yes, but it'd take centuries to verify all possible inputs, at least for any non-trivial programs.
- black_knight 1y agoProofs of correctness is a thing. If you prove something correct you don’t have to test every input. It just takes a big effort to design the program this way. And must be done from the beginning.