Comment Testing is not enough (Score 2, Interesting) 83
For systems such as these formal verification is very important. NASA understands that and they have a pretty strong "Reliable Software Engineering" team: http://ti.arc.nasa.gov/rse/
