AdaCore supports C/C++, Ada/SPARK, and Rust for high-integrity software development, with each language having unique strengths and weaknesses. The choice between Ada, Rust, and SPARK depends on the team's goals, appetite for change, and specific needs, with SPARK offering industrial-strength formal methods for comprehensive proven properties.