No entanto, os mercados críticos de segurança e segurança, como aeroespacial, defesa e automotivo, enfrentam obstáculos significativos que impedem a adoção da rust no desenvolvimento de software certificável.Com o Gnat Pro for Rust, nossos clientes podem adotar com confiança a rust e avançar, equipados com as ferramentas necessárias para o sucesso. “Por fim, toda assinatura do Gnat Pro vem com o melhor suporte profissional da Classe da Adacore, conectando clientes diretamente com os especialistas que desenvolveme manter o produto. O suporte à rust também é oferecido através da Gnat Pro Assurance, que fornece suporte a longo prazo por meio de ramos sustentados para a cadeia de ferramentas completa enquanto os clientes exigem., atendendo às necessidades específicas de aplicações críticas de segurança e segurança.
Fonte: https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust