Documentation

GNAT Pro User’s Guide Supplement for High-Integrity Edition Platforms

This guide describes the GNAT Pro High-Integrity Edition, an Ada tool suite designed especially for applications that need to be certified for compliance with safety standards such as DO-178B.