3 ms·
There is no algorithm to prove the correctness of programs in general but you can still prove correctness of specific programs.
by seanwilson 11y ago
There is no algorithm to prove the correctness of programs in general but you can still prove correctness of specific programs.