AdaCore, a trusted provider of software development and verification tools, is pleased to announce that it is now a Silver Member of the Rust Foundation, an independent non-profit organization dedicated to stewarding the Rust programming language and ecosystem.
For over 25 years, AdaCore has been committed to supporting the needs of safety- and mission-critical industries with high integrity software development tools and services. AdaCore initially focused on Ada, a state-of-the-art programming language designed specifically for developing long-lived, safety-critical, certified software. Over the years, this focus has extended beyond the Ada language to its formally verifiable SPARK subset, C and C++, and Simulink® and Stateflow® models. Now, AdaCore is sharing its expertise in safety-certified toolchains with the Rust safety community.
"We are looking forward to extending our long-standing commitment to high integrity languages and safety-certified embedded development to the Rust programming language."
“AdaCore is thrilled to join the Rust Foundation,” said Quentin Ochem, Chief Product Officer, AdaCore. “We are looking forward to extending our long-standing commitment to high integrity languages and safety-certified embedded development to the Rust programming language.”