AdaCore

AdaCore
TypePrivate
Founded1994
Founders
  • Cyrille Comar
  • Robert Dewar
  • Franco Gasperoni
  • Richard Kenner
  • Edmond Schonberg
HeadquartersNew York and Paris
Products
  • GNAT Pro
  • SPARK Pro
  • GNAT Pro for C/C++
  • GNAT Pro for Rust
  • GNAT Dynamic Analysis Suite
  • GNAT Static Analysis Suite
  • CodeSonar
OwnerBattery Ventures
Number of employees
200 (2026)
Websiteadacore.com

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.

This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.