Everyone who writes safety critical software should read this

[Walter Bright]

On 11/1/2013 8:03 AM, bearophile wrote:
> Everyone who writes safety critical software should really avoid languages
> unable to detect integral overflows (at compile-time or run-time) in all normal
> numerical operations, and languages that have undefined operations in their
> basic semantics.
>
> So Ada language is OK, C and D are not OK for safety critical software.

I think you're missing the point. Improving the quality of the software is not 
the answer to making fail safe systems.