Skip to main content

AdaCore SAS

AdaCore develops a toolsuite for the Ada, C, C++ and Simulink languages, targeting safety-critical and security-critical applications. Its products include a compilation solution for native and cross systems (including RISC-V), a code generator, as well as tools for testing, code coverage, debugging, static analysis and formal proof.

Stay Connected With RISC-V

We send occasional news about RISC-V technical progress, news, and events.