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, a complete toolset for
designing, implementing, and managing applications that demand high
reliability and maintainability. GNAT Pro is available for Ada and also for C
and C++,
● The CWE-Compatible CodePeer advanced static analysis tool, an
automatic Ada code reviewer and validator that can detect errors both
during development and retrospectively on existing software. CodePeer
can detect a number of the “Top 25 Most Dangerous Software Errors” in
the MITRE Corporation’s Common Weakness Enumeration (CWE),
● The SPARK Pro verification environment, a toolset providing full formal
verification oriented toward high-assurance systems with stringent safety
and/or security requirements, and
● The QGen model-based development tool suite for safety-critical control
systems, providing a qualifiable and customizable code generator and
static verifier for a safe subset of Simulink® and Stateflow® models, and a
model-level debugger.
Over the years customers have used AdaCore products to field and maintain a
wide range of critical applications in domains such as commercial and military
avionics, automotive, railway, space, defense systems, air traffic
management/control, medical devices, and financial services. AdaCore has an
extensive and growing worldwide customer base; see www.adacore.com/industries/ for further information.
AdaCore products are non-proprietary open technology and come with expert online
support provided by the developers themselves.