User: Dark1999

Testing is not enough

On: NASA Draws On Open Source For Shuttle Bug-Tracking

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/