Barrapunto

/* Real software engineers don't debug programs, they verify correctness. This process doesn't necessarily involve execution of anything on a computer, except perhaps a Correctness Verification Aid package. */
Como la cita de Knuth, inventor, por cierto, de la programación literaria: "Beware of bugs in the above code; I have only proved it correct, not tried it".