AdaCore

Other

Build Software that Matters

About us

south_east

Floor plan

south_east

Products

south_east

Employees

south_east

Articles

south_east

Sessions

south_east

We offer

Software for Software Design
Test and Verification Software
Methods and Tools for Secure Embedded Systems
Static and Run-Time Analysis Tools
Other Tools and Software
Software Development for Secure Systems (Security)
Software Development for Functionally Safe Systems (Safety)
Certification and Approval
Consulting
Training

Industry

Software / system house

Contact Information

46 rue d'Amsterdam

75009 Paris

France

www.adacore.com

Send email

Tel.: +33 1 49 70 67 16

About us

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 various critical applications in domains such as commercial and government systems, railway, space, automotive, security systems, air traffic management/control, medical devices, and financial services. 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. Learn more at www.adacore.com.