Xcout Intel
AdaCore competitors & alternatives
The 12 closest competitors and alternatives to AdaCore among software companies — ranked by similarity to what AdaCore actually does, not by market-cap band.
Subscribe to see AdaCore’s full profile → the full roster, investors in every round, weekly hiring history and every corporate event
About AdaCore
AdaCore provides software development and verification tools, including compilers, static and dynamic analysis suites, and formal proof technology, for high-integrity systems in safety-critical industries such as avionics, automotive, defense, and space. The company's products support programming languages including Ada, SPARK, Rust, C, and C++.
AdaCore at a glance
AdaCore is a software company headquartered in France. Xcout tracks 9 named people at AdaCore, including Marie Labas (Chief Financial Officer).
AdaCore leadership
- Marie LabasChief Financial Officer
- Arnaud CharletChief Technology Officer
- Radhika HolowkoChief Revenue Officer
- Gaëlle GourlinChief People Officer
- Quentin OchemChief Product and Revenue Officer
- Romain BerrendonnerChief Legal Officer
3 more named people on record for AdaCore, with roles, board committees and tenure — see the full roster →
Top 12 AdaCore competitors
Ranked by semantic similarity — how close each company is to AdaCore by what it does, using Xcout's live company graph. Click any company for its full profile, or its competitor set.
Software Development
Digital Mars develops and provides C, C++, and D compilers, programming tools, and related software development services.
Embedded Software
QNX provides secure real-time operating systems, hypervisors, and development tools for mission-critical automotive, robotics, and industrial systems.
Embedded Software
QNX Software Systems provides safe and secure real-time operating systems, hypervisors, software development platforms, and middleware for mission-critical embedded systems. The company primarily serves automotive original equipment manufacturers (OEMs), Tier 1 suppliers, and industries such as robotics, industrial controls, medical devices, and aerospace.
Similar software company
Coverity provides enterprise-grade static analysis solutions, such as Black Duck Coverity, designed to help developers find and fix security vulnerabilities and code quality defects. Headquartered in San Francisco, the company supports multiple programming languages across open-source and enterprise projects.
Embedded Software Development Tools
Keil provides software development tools, including IDEs, compilers, and debug adapters, for various microcontrollers and processor families.
Software Development
Embarcadero provides software development tools, integrated development environments (IDEs) like RAD Studio, Delphi, and C++Builder, and database management systems.
Software Development
The Zig Software Foundation is a 501(c)(3) non-profit corporation that supports the development of the Zig programming language. Zig is a general-purpose programming language and toolchain designed for maintaining robust, optimal, and reusable software, including features like compile-time code execution and a drop-in C/C++ compiler.
Similar software company
Coderrect Inc., also doing business as Sec3, has developed static analyzer tools and software solutions. The company operates out of Texas to provide specialized code analysis and technology services.
Similar software company
Hancom MDS provides embedded software development tools, testing solutions, and autonomous driving simulation software for industries such as automotive, aerospace, and defense. The company also supplies industrial computing hardware, thermal imaging cameras, AI platforms, and cloud solutions to enterprise and industrial customers.
Similar software company
Codee is a deep tech company founded in 2012 and headquartered in Cambre, Spain. Its mission is to accelerate the digitalized world by empowering businesses to develop software faster through specialized developer tools like the Codee Analyzer.
Similar software company
Amphinicy Technologies is a software provider that develops solutions for companies operating in the satellite industry. Founded in 1999 as a spin-off, the company is recognized as a leading software provider in its sector.
Analyze another company
Search any company we track to see its competitive set.
Or describe a company
Paste a short paragraph describing a company or product — we'll find the most similar companies we track, scored 1–100.
See the full profile of AdaCore and its market
Funding, investors, tech stack, hiring signals, leadership and corporate events — for AdaCoreand every competitor above — in one live dashboard.
Subscribe to Xcout Intel →