Comment by taco_emoji
1 day 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.
1 day 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.
Proofs 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.