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.

Britt