NEW YORK--(BUSINESS WIRE)--AdaCore, a trusted provider of software development and verification tools, today announced that TÜV SÜD issued the first ever qualification certificate of a Rust compiler, ...