- 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 Jan 13, 2015
New Release of Muen Separation Kernel Upgrades to SPARK 2014 for Formal Verification
- Thursday Dec 4, 2014
AdaCore Launches GNATdashboard
In the Press
- Requiem for a Bug – Verifying Software, Part 2: Formal Verification through SPARK 2014
Electronic Design | Jan 12, 2015
- SPARK 2014 lowers the barriers to low-defect programming
Bloor Research | Nov 19, 2014