Larry Kilgallen said:
> Whereas I think of a high-integrity system as one designed and
> to have those qualities to make it work right all the time.
Alternatively, high-integrity software is designed and constructed so that
it *can be demonstrated that* it has the desired properties. (In many
situations you have to get the software past a certification authority well
before any user gets to it).
This might seem nit-picking, but it's an important distinction. Correct
software can, obviously, be written in any language but Ada is particularly
valued because it supports the use of a variety of V&V techniques to build
confidence in the correctness of the software.
For more on this, have a look at the Guidance report produced by the Annex
H Rapporteur Group (a draft version was published in Ada Letters earlier