Home | Mitglieder | AdaCore GmbH

AdaCore GmbH

Company type

Small companies (<50 employees or <10 million annual turnover)

Target markets

Services

Industries

Software

Portfolio

Communication·Custom / Individual software·Software·Software Tools

Certificates

Contact

Königsbrücker Str. 124
01099 Dresden
https://www.adacore.com

Contact Person

Alexander Senier

About this member

.

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 www.adacore.com/industries 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. www.adacore.com

Your news free of charge on our platform

Regularly update and enter dates and events

Want to become a member in our association?