Podemos verificar si un algoritmo es válido utilizando la “lógica de Hoare”, desarrollada por el británico Tony Hoare, quien también es el creador del algoritmo “quicksort” 🙀

Fuente: “Handout C2: Reasoning About Code” (Krysta Yousoufian, Universidad de Washington)