GNAT Pro Safety-Critical

AdaCore Technologies

Flag/report this product
GNAT Pro Safety-Critical
click graphic to zoom by 3.2x

FEATURES

  • Configurable Run-Time Library
  • Full Ada Implementation
  • Simplification of Certification Effort
  • Advanced Static Analysis
  • Traceability

See also:

Go Back

Flag/report this product