How can one demonstrate the correctness of an algorithm?

One can demonstrate the correctness of an algorithm by using mathematical proofs and testing it with various inputs to ensure it produces the expected output consistently.