Um algoritmo é
correto
se cumpre o prometido, ou seja, se faz o que promete fazer.
URL of this site: www.ime.usp.br/~pf/algoritmos/