Probably not Ada itself, but I'll a little more closely into SPARK, which is based on a subset of Ada and is intended for high assurance applications.

https://en.wikipedia.org/wiki/SPARK_(programming_language)