Press Release
Feb 28 '12
Open-source research projects combine model-based integration and qualified code generation for safety-critical systems
Press Release
Feb 28 '12
Full support for the upcoming Ada 2012 language standard
Press Release
Jan 10 '12
Ada expert Tucker Taft joining AdaCore as Director of Language Research
Press Release
Sep 27 '11
GPS 5.1 Integrated Development Environment brings new C/C++ features, improved support for CodePeer, and more powerful source editing
Press Release
Sep 27 '11
Digicomp Research has reaffirmed their commitment to Ada based on their continuing success with the language, by renewing their long-standing subscription for the GNAT Pro Ada development environment.
Press Release
Jul 19 '11
With the LDRA announcement of being able to test software for Homeland Security’s CWE compatibility standard, LDRA’s leadership in the security sector has been recognized by Military Embedded Systems.
Press Release
Jul 6 '11
Open Source coverage analysis tool wins prize in 14th annual award program
Press Release
Jun 30 '11
GNAT Pro to be used for safety-critical software development of railway control system
Press Release
Jun 22 '11
Targeting avionics, medical and automotive applications, LDRA integrated the LDRA tool suite with Code Warrior for HC08/HCS08, bringing powerful certification capabilities to this 8-bit footprint.
Press Release
Jun 7 '11
Increased flexibility and functionality for high-assurance systems
