Quentin Ochem News Today

AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.

AdaCore, a provider of software development and verification tools, has announced the early-access availability of GNAT Pro for Rust.

NEW YORK, July 18, 2023 – AdaCore, a trusted provider of software development and verification tools, today announced the early-access availability of GNAT Pro for Rust. For the first time, AdaCore’s GNAT Pro subscribers will be able to develop safety- and security-certifiable embedded applications using Rust while benefiting from the stability, security, dependability and support…

AdaCore, a trusted provider of software development and verification tools, today announced that it is collaborating with Synopsys Software Integrity Group, a leading provider of advanced application security testing tools, to make AdaCore’s GNAT Static Analysis Suite available to Synopsys Coverity® static analysis customers. Synopsys markets the Coverity tool, which improves the reliability, safety, and security of applications written in…

Lynx Software Technologies (Lynx) has announced that its LynxOS-178 operating system and LynxElement unikernel will now include support for Rust.

NEW YORK, February 2, 2022 – AdaCore, a trusted provider of software development and verification tools, today announces the formation of a strategic partnership with Ferrous Systems, a technology company specializing in the Rust programming language. The collaboration aims to further develop Ferrous Systems' Ferrocene Rust toolchain, to support embedded mission- and safety-critical applications, and to qualify it under relevant…