TOULOUSE, France--(BUSINESS WIRE)--Certification Together International Conference - AdaCore today announced the release of its GNAT Pro 17.1 development environment for SYSGO’s Real-Time Operating ...
NUREMBERG, Germany--(BUSINESS WIRE)--Embedded World Conference-- AdaCore today announced the release of the latest version of its four major products: “Developing and verifying critical systems is a ...
Lauterbach's “TRACE32” is, according to the company, the industry's first development tool suite to fully support the AdaCore GNAT Pro Ada compiler, which is designed for safety-critical applications ...
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 ...
New York, N.Y. AdaCore has released the GNAT Component Collection, a suite of reusable software components and utilities. This collection has been used by AdaCore in developing the GNAT Pro tool set, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results