Language choice is secondary to methodology, but Ada does a darn fine job of checking an awful lot of methodologically useful things up front. It's less the la

Language choice is secondary to methodology, but Ada does a darn fine job of checking an awful lot of methodologically useful things up front. It's less the language than the ecosystem and the infrastructure. It's eminently possible to develop 'C' that's exhaustively tested - I've done it. I am not sure that is true of C++ or Java.