[nicce]

But the biggest advantage in Ada is the the syntax and good compilers that can empower that syntax. These compilers are the expensive part and most worrying. Availability of the libraries does not matter that much if you can't access the good compilers. I would be particularly interested about the features of open-source compilers vs. these commercial ones. Also, whether there are any effective verification/proofs available on those open-source compilers.