Blog
An Insight Into the AdaCore Ecosystem
Formal Methods Practice and Theory
Fabien Chouteau
Make with Ada: Candy dispenser, with a twist...
Emma Adby
Embedded Product Line Updates
Emma Adby
QGen 2.1 Release!
Emma Adby
Formal Verification Made Easy!
Emma Adby
ERTS and Embedded World conferences 2016
Jérôme Lambourg
Porting the Ada Runtime to a new ARM board
A step by step tutorial to adapt the ARM runtime to new MCUs/boards.
Yannick Moy, Emma Adby
Ada Lovelace Bicentennial
Emma Adby
Dissimilar tools: Use cases and impact on tool qualification level
Yannick Moy
GNATprove Tips and Tricks: What’s Provable for Real?
SPARK supports two ways of encoding reals in a program: the usual floating-point reals, following the standard IEEE 754, and the lesser known…
Yannick Moy
SPARK 2014 Rationale: Support for Ravenscar
As presented in a recent post by Pavlos, the upcoming release of SPARK Pro will support concurrency features of Ada, with the restrictions defined in…
Emmanuel Briot
Calling inherited subprograms in Ada
This short post describes an idiom that can be used to help maintain complex hierarchies of tagged types, when methods need to call the parent types…
Florian Schanda
SPARK 2016 Supports Ravenscar!
The new big feature of the SPARK 2016 release is the support of the Ravenscar profile. Users can now use protected objects and tasks to write…