>I don't think our species has produced even one nontrivial correct program
Off the top of my head: seL4, a correct microkernel...pretty nontrivial!
Off the top of my head: seL4, a correct microkernel...pretty nontrivial!
source: http://ertos.nicta.com.au/research/l4.verified/numbers.pml
IMHO, these guys are heros merely for undertaking the task, let alone completing it.