GNAT Pro High-Integrity Edition for DO-178B

Company:

ADACORE

Description:

GNAT Pro High-Integrity Edition for DO-178B is a complete development environment with full DO-178B Level A certification materials. It has passed formal certification as a part of multiple avionics flight critical systems. It is the ideal solution for any safety-critical development effort where top levels of safety must be assured. Its many features help reduce the cost of certifying systems.

Product Properties

• URL to the product/service/project description on company's website:
  http://www.adacore.com/home/gnatpro/safety-critical