[foobarqux]

Certifiable or qualifiable depending on whether it is a tool or end software.

The only toolchain I can think of that is Ada only is Adacore.