Headquarters
150 W 30TH ST, FL 16, NEW YORK, NY 10001-4091, US
NEW YORK, NY, US
ADA CORE TECHNOLOGIES, INC.
From the company
AdaCore provides commercial software development tools and support for high-integrity software in Ada/SPARK, C/C++, and Rust. With over 30 years of experience, it offers IDEs, toolchains, static and dynamic analysis tools, formal methods, and certification-ready technology for safety-critical and mission-critical systems across industries including aerospace, defense, rail, automotive, space, medical, and security.
Products & services offered
Facilities
Send your requirements
Quantities, certifications, and timing.