Everyone who writes safety critical software should read this

[Timon Gehr]

On 11/02/2013 10:55 AM, bearophile wrote:
>
>
>> I think you're missing the point. Improving the quality of the
>> software is not the answer to making fail safe systems.
>
> To make high integrity software you have to start with reliable tools,
> and then use the right testing methodologies, sometimes you have to
> write down proofs,

Well, if there is a formal proof of correctness, checking for overflow 
at runtime is as pointless as limiting oneself to a language without 
undefined behaviour in its basic semantics.