> Interesting article at http://msnbc.com/news/768401.asp  I haven't read
it
> all yet but there is a minor mention of Ada in the "First aid for faulty
> code:Correct by construction" sidebar.

Sneaks in a little defense of M$ bugs on the way, doesn't it?