En teoría de la computación, la corrección de un algoritmo, también llamada correctitud (como adaptación de la palabra inglesa "correctness"), corresponde a una propiedad que distingue a un algoritmo de un procedimiento efectivo.