Ada Core Technologies

(redirected from AdaCore)

Ada Core Technologies

(company)
(ACT) The company that maintains GNAT.

Ada Core Technologies was founded in 1994 by the original authors of the GNAT compiler. ACT provides software for Ada 95 development.

http://gnat.com/.
Mentioned in ?
References in periodicals archive ?
M2 EQUITYBITES-May 26, 2017-MASC chooses AdaCore QGen for avionics project
Cyrille Comar, AdaCore president, added,"Vector Software is enriching the Ada ecosystem significantly thanks to this new version of VectorCAST supporting Ada 2012.
On the ESC demo floor, AdaCore, a provider of development and verification tools for critical software, highlighted its CodePeer 3.
The team has extensive experience using Ada on previous high-integrity embedded system projects, and has collaborated with AdaCore on a number of these.
AdaCore a Major Sponsor of the Inaugural Edition of the High Integrity Software Conference New conference will focus on reliable, safe and secure software
AdaCore today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOneTM Guard, a high assurance cross domain guard for military tactical systems.
AdaCore, a provider of software solutions for the programming language Ada, said today that it will soon release GNAT Programming Studio (GPS) 5.
SPARK Pro, a Freely Licensed Open Source Software (FLOSS) product created by AdaCore and Altran Praxis, will be used by secunet as a strategic technology to build highly robust security-critical applications.
Development software company AdaCore today announced the release of the latest version of its GNAT Programming Studio.
AdaCore has developed an infrastructure and methodology to perform this activity; the product of this activity is a source-to-object Code Traceability Analysis.
Altran Praxis and AdaCore have announced a new reference implementation of the Skein algorithm, written and verified using the GPL 2010 Edition of the SPARK language and toolset.
AdaCore, a leading supplier of Ada development tools and support services, today announced that Lockheed Martin Aeronautics, Marietta, Georgia, will be using GNAT Pro to develop the Flight Management System Interface Manager and Radio Control software on the C-130J Super Hercules aircraft.