- 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.
- Tuesday Dec 10, 2013
Muen Separation Kernel Lays Open Source Foundation for High-Assurance Software Components
- Wednesday Nov 20, 2013
AdaCore and Altran Toolsets Help Launch CubeSat into Orbit
In the Press
- Contract-based programming: making software more reliable
Embedded.com | Aug 25, 2013
- SPARK 2014: Why I am backing a predictable winner
Embedded.com | Aug 6, 2013