AdaCore logo

AdaCore Claim

Helping Developers Build Software that Matters

  Write a Review Visit Website  

AdaCore Overview

AdaCore is a leading provider of software development and verification tools for mission-critical, safety-critical, and security-critical systems. With a focus on Ada and other high-integrity programming languages, AdaCore offers a comprehensive suite of solutions designed to help organizations build robust and reliable software. Their services include advanced compilers, static analysis tools, testing frameworks, and formal verification technology, all tailored to meet the stringent requirements of industries such as aerospace, defense, automotive, and medical devices. By leveraging AdaCore's expertise, clients can ensure the quality, safety, and security of their software systems throughout the development lifecycle. With a commitment to innovation and excellence, AdaCore empowers companies to deliver cutting-edge solutions with confidence and peace of mind.

Read More

Hourly Rate NA

Employees 50- 249

Founded 1994

Project Cost NA

Company Location

France (HQ)

location 46 rue d'Amsterdam, Paris, Île-de-France, France 75009

Contact Number +33.1.49.70.67.16

Location

Location

Location

Show More

AdaCore Focus Areas

Service Focus
Client Focus
Industry Focus

AdaCore Services

Custom Software Development Arrow Icon Business Consulting Arrow Icon Corporate Training & Coaching Arrow Icon IT Managed Services Arrow Icon Software Evaluation Arrow Icon Rust Arrow Icon

AdaCore Clients & Portfolios

AdaCore FAQs

AdaCore is a leading provider of software development and verification tools for mission-critical, safety-critical, and security-critical systems. With a focus on Ada and other high-integrity programming languages, AdaCore offers a comprehensive suite of solutions designed to help organizations build robust and reliable software. Their services include advanced compilers, static analysis tools, testing frameworks, and formal verification technology, all tailored to meet the stringent requirements of industries such as aerospace, defense, automotive, and medical devices. By leveraging AdaCore's expertise, clients can ensure the quality, safety, and security of their software systems throughout the development lifecycle. With a commitment to innovation and excellence, AdaCore empowers companies to deliver cutting-edge solutions with confidence and peace of mind.

  • AdaCore's hourly pricing ranges between NA

  • AdaCore’s employee size is 50 - 249.

  • AdaCore was founded in 1994.

  • AdaCore’s minimum project cost is NA

  • AdaCore has offices in the following countries:

    • France

  • AdaCore’s contact number is +33.1.49.70.67.16

  • AdaCores core service focus areas are as given below:

    • Custom Software Development , Business Consulting , Corporate Training & Coaching , IT Managed Services , Software Evaluation , Rust

  • AdaCore’s client focus areas are as given below:
    • 0% Small Business (<$10M)
    • 0% Midmarket ($10M - $1B)
    • 0% Enterprise (>$1B)