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.

members

Country: United States
Headquarters: New York
Inception: 1994
Website: http://www.adacore.com

Everything about AdaCore →

Facts from Wikidata (CC0). Image by Spider via Wikimedia Commons (Public domain).

AdaCore

provider of software development and verification tools based in New-York and Paris

Ask Genius Site

Site Journal

Feed Discussions About

Sort by

Content type

Latest AdaCore news and discussion

Sort by

Content type

Nothing published yet

The conversation starts anyway — post the first discussion above.

About AdaCore

members

Country: United States
Headquarters: New York
Inception: 1994
Website: http://www.adacore.com

Everything about AdaCore →

Facts from Wikidata (CC0). Image by Spider via Wikimedia Commons (Public domain).

Related journals

Connected

United States

Related journals

Connected

United States