Re:interesting but it's not really true (Score 1)

not really true??? Even using formal methods errors are bound to creep in. I agree with the article that on large projects human error is simply unavoidable! That's why NASA use fault tolerance systems, and that's why it's a good idea to use fault tolerance in combination with formal methods for critical systems.