It is said that after the development of an algorithm, its correctness needs to be established. This is called the algorithm validity. It would be great to know the different methods used in establishing algorithmic validity.
I shall be happy to know about any sources where the literature can be found out.