News

Press Releases

See More »

Rapita Systems showcases AdaCore’s GNAT Pro for Rust at HISC

Rapita Systems will demonstrate the integration of their RapiCover Zero and RapiTime Zero tools with AdaCore’s GNAT Pro for Rust next week at the High Integrity Software Conference (HISC). The integration will show how structural coverage and execution time metrics, including worst-case execution time, can be collected during on-target tests of safety-critical code written in Rust.

Posted on 10/17/2024

AdaCore In the Press

See More »

Upcoming Events

See More »

Mar 11, 2025 — Nuremberg, Germany

Embedded World Europe

AdaCore will be exhibiting at Embedded World Europe in Nuremberg, Germany on 11 - 13 March 2025. Meet us at Booth 4-148 to discover demonstrations and talk to our experts about high-integrity technologies including Ada, SPARK, C/C++, Rust and more.

Posted on 11/8/2024