When Nvidia discusses choosing Ada for security critical software, they mention the cost of fuzzing (slide 17). It's an interesting argument: if the language gives you more assurances, you don't need so much compute to fuzz test! https://www.slideshare.net/AdaCore/securing-the-future-of-safety-and-security-of-embedded-software