Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings:
- The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
- The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
- The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems, and
- The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.
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) and ECSS-E-ST-40C / ECSS-Q-ST-80C (space). Our products are also seeing growing usage in other high-assurance areas such as air traffic management/control, automotive, medical devices, and financial services see www.adacore.com/company/our-customers for further information.
AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com
AdaCore SAS offers you products from these product groups:
- System Software (435)
- Tools (514)
- Services (658)