Adacore
New York, United States · Founded 1994 · $100.0M raised
- Headquarters
- New York, New York
- Employees
- 51–200
- Founded
- 1994
- Business Model
- B2B
- Total Funding
- $100.0M
- Last Round
- $100.0M Growth EquityMar 2024
- Rounds
- 1
About
AdaCore provides open-source toolchains and commercial verification tools for Ada/SPARK, C/C++, and Rust, serving safety-critical and mission-critical systems across aerospace, defense, rail, automotive, and medical industries. With 30+ years of experience, the company offers compilers, static analysis, testing, and certification-ready tools, supporting on-premise and air-gapped deployments for high-integrity software teams worldwide.
Summary
Adacore is a Defense Tech company based in New York, United States, founded in 1994. It has raised $100.0M in total across 1 round, most recently a $100.0M Growth Equity round in Mar 2024. Investors include Battery Ventures.
Sign up to view the funding chart
Create a free account — you'll get 10 credits a month to unlock funding history, valuations, and tech stacks.
Funding History
Mar 2024
Investors
Similar Companies
Autonomous drone strike technology for defense applications.
Primer is a unified payments infrastructure platform that enables merchants to consolidate and au...
Anduril Industries is a defense technology company with a mission to transform US and allied mili...
Leading interactive entertainment company and developer of Fortnite, Unreal Engine, and the Epic ...
Saronic provides naval and maritime forces with intelligent Autonomous Surface Vessels at scale, ...
Cursor is the best way to code with AI, and built to make you extraordinarily productive.