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.