- ASIS-for-GNAT Reference Manual »
This Manual contains reference material for developers using ASIS-for-GNAT -- GNAT Pro's implementation of the Ada Semantic Interface Specification (ASIS). It provides information about ASIS-for-GNAT's implementation-specific(1) characteristics and current implementation limitations.
- ASIS-for-GNAT User’s Guide »
This guide has two aims. The first one is to introduce you to the Ada Semantic Interface Specification (ASIS) and show you how you can build various useful tools on top of ASIS. The second is to describe the ASIS implementation for the GNAT Pro Ada compiler.
- Wednesday May 24, 2017
MHI Aerospace Systems Corp. Selects AdaCore’s QGen for Model-Based Development
- Tuesday May 23, 2017
AdaCore’s GNAT Pro Supports Wind River’s FACE Conformant VxWorks 653 Platform
In the Press
- Ada Language: Trusted Tool for Safety Critical Systems (pages 24-26)
COTS Journal | Jul 10, 2017
- Code Quality Warnings: Highlighting Likely Bugs Before They Bite
RR Software | Jun 9, 2017