ADA CORE TECHNOLOGIES

AdaCore is the leading provider of commercial software solutions for Ada, C and C++ - helping developers build safe and secure software that matters... Founded in 1994, AdaCore is the leading provider of commercial and open-source software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore is committed to being an active member of the software development community providing the GNAT Ada compiler and SPARK formal methods technologies as open-source projects to the world to advocate their use in the future of safe and reliable computing... Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over twenty years of experience working with the most respected companies in the avionics, space and defense industries, we build tools and provide services that ease the complex and often difficult process of developing high-..

Also known as: Ada, Ada 2005, Ada Core Technologies Inc., AdaCore

Registration numbers: 11581444 (W), 14485372 (W), HRB36670 (W)

Primary location: New York United States