NEW YORK--(BUSINESS WIRE)--AdaCore, a trusted provider of software development and verification tools, today launched a new edition of its premier GNAT Pro Ada, C and C++ development toolsuites in ...

NEW YORK--(BUSINESS WIRE)--AdaCore, a trusted provider of software development and verification tools, today announced the early-access availability of GNAT Pro for Rust. For the first time, AdaCore’s ...

New York and Paris—AdaCore has announced the availability of GNAT Pro for RTX, an Ada Integrated Development Environment that enables programmers to produce real-time Ada applications on Microsoft ...

AdaCore has updated its popular GNAT Pro development environment with Release 6.3, offering significantly enhanced tools, such as the GNATcheck coding standard verifier and the GNATstack stack size ...

France’s Thales will continue to use AdaCore’s open-source technology to develop systems for Airbus’ A350 program. Thales, which has licensed AdaCore products for more than three years, will use the ...

The most comprehensive code coverage, analysis, and testing tool package available for Ada users AdaCore, a trusted provider of software development and verification tools, today announces the ...

It is available separately or as part of AdaCore’s GNAT Pro High-Integrity Edition products. These support development of applications needing DO-178B, DO-278 and other related safety-critical ...

AdaCore, a trusted provider of software development and verification tools, today announced that the European Space Agency (ESA) has selected AdaCore to provide a qualified multitasking solution for ...

The new Ada 2005 language standard has a supporter in the GNAT Pro 5.03a. The academic and the GNAT GPL 2005 edition from Adacore are also available as a free download from the Libre site. Ada 2005 ...