“Proving a Computer Program’s Correctness” Posted by Head Geek on 26 October 2009, 1:55 pm It sounds great, but isn’t viable in practice.