Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Our products include the GNAT Pro Ada, C and C++ software development environments, the CWE-compatible CodePeer deep static analysis tool for Ada, the SPARK Pro formal methods-based verification environment, and the QGen qualifiable code generator and debugger for a safe subset of Simulink / Stateflow models. All products come with expert and timely support provided by the developers themselves and are available across a wide range of native and embedded target configurations.
AdaCore has a long and successful history supplying products to customers in safety- and security-critical domains, including tools and run-time libraries in systems certified at the highest levels of DO-178B/C (avionics), EN 50128 (rail), ECSS-E-ST-40C / ECSS-Q-ST-80C (space) and ISO-26262 (automotive). Our products are also seeing growing usage in other high-assurance areas such as air traffic management/control, medical devices, and financial services.
As members of the RISC-V Foundation, AdaCore is bringing Ada and SPARK programming languages to the forefront of the technologies available for RISC-V developers, offering a unique environment for safety- and security-critical applications developed on this platform.