On Apr 17, 12:16    
wrote:
>
> ....Having said that, it seems to me that the better correctness of programs in
> SPARK or Ada compared to C/C++, say, would also be due to the qualities ofrganizations that tend to use/adopt these languages.....

I think there's a lot to be said for this.  Organizations that choose
bad tools when better tools are available show that at some level they
are not properly serious, and/or not properly informed (which points
again to not being properly serious).

Mike