Speaking as someone who left a company that did radar software development in ADA (and some C). We were a subcontractor of Boeing and wrote the software for them.<p>We didn&#x27;t formally verify the code, its way too complex, but everything was reviewed and heavily tested. And tested again. Then integrated and tested...<p>Ada is pretty strict and if it compiles you usually had some confidence it was going to at least run ok.<p>The industry was moving to C&#x2F;C++ because developers know it and promises of higher productivity.<p>I did kinda grow to like ada.  It had its warts, but it was good.  It reminds me a bit of GO with its packages.