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.
Create a free account to see funding visualizations and detailed round data.
Create Free AccountMar 2024
Create a free account to see which investors have funded this company.
Create Free Account
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, ...
Shield AI's mission is to protect service members and innocent civilians with artificially intell...
R&D company with 8 SBIR/STTR awards from National Aeronautics and Space Administration, Departmen...
.png)
Helsing develops AI-based defense and security solutions for national defense.
