El #22Jul 1962 la sonda #Mariner1 fue lanzada para la exploración de Venus, lamentablemente la misión tuvo que ser abortada debido a un fallo en una antena guía y un error de software.

El fallo que provocó que el cohete se desviará de su trayectoria fue la omisión de una barra superior para el símbolo R de radio (R en lugar de R̅) en una ecuación, provocando que el programa no respondiera según lo previsto.

Este error marcó la importancia de la precisión y verificación en la Ing. de software.