"¿Demostrar corrección? ¿Para qué?" por Mariano Moscato

Mariano Moscato, graduado y ex docente del Departamento de Computación (actualmente trabajando en NASA), le cuenta a los y las estudiantes de Algoritmos 1 de qué trata y para qué sirve demostrar la corrección de programas.
Créditos: Azúl Lopez (realización y edición del video).

[@pablobrusco]

Buenísimo el video Mariano.. Excelente para compartir en Algo1.
Me quedó la duda si encontraron o no el bug del avión que estaba a 185 millas :)

[@MarcoVanotti]

Me quedé pensando lo mismo. ¿Cuál era el bug? Seguro era un off-by-one