organization
AdaCore.
provider of software development and verification tools based in New-York and Paris
+ JoinSee the latest ↓
The journal
Open the journal →The conversation starts in the journal — be the first to post.
About AdaCore
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.
Everything about AdaCore →- Country
- United States
- Headquarters
- New York
- Inception
- 1994
- Website
- http://www.adacore.com