List of all Members

AdaCore GmbH

AdaCore GmbH

Business Segments:
  • Software
  • Communication
Core Competences:
  • Software / Hardware: Custom / Individual software
  • Software Tools

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems.

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 airborne systems, railway, space, automotive, defense systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.

Back to List