AdaCore is a privately held software company that develops programming tools for high-integrity systems in Ada, SPARK, C/C++, and Rust. Headquartered in New York City and Paris, the company was founded in 1994 and supplies development and verification tools used in the aerospace, defense, automotive, rail, and medical device industries.
- Country
- United States
- Headquarters
- New York
- Inception
- 1994
- Website
- http://www.adacore.com
