NASA has a facility in West Virginia to provide independent validation and verification of its key programs, but rarely uses it due to cost. This facility recently found 15 separate and potentially fatal errors in the software for the two lost Mars probes, which were not subjected to this independent validation step.--Stephen V Cole
