Blog
An Insight Into the AdaCore Ecosystem
Announcing Advent of Ada/SPARK 2025: Coding for a Cause!
Yannick Moy
Tokeneer Fully Verified with SPARK 2014
Tokeneer is a software for controlling physical access to a secure enclave by means of a fingerprint sensor. This software was created by Altran…
Felix Krause
The Road to a Thick OpenGL Binding for Ada: Part 2
This blog post is part two of a tutorial based on the OpenGLAda project and will cover implementation details such as a type system for interfacing…
Yannick Moy
For All Properties, There Exists a Proof
With the recent addition of a Manual Proof capability in SPARK 18, it is worth looking at an example which cannot be proved by automatic provers, to…
Johannes Kanig
Bitcoin blockchain in Ada: Lady Ada meets Satoshi Nakamoto
Felix Krause
The Road to a Thick OpenGL Binding for Ada: Part 1
Pierre-Marie de Rodat, Yannick Moy, Fabien Chouteau, Raphaël Amiard
AdaCore at FOSDEM 2018
Lionel Matias
Leveraging Ada Run-Time Checks with Fuzz Testing in AFL
Fuzzing is a very popular bug finding method. The concept, very simple, is to continuously inject random (garbage) data as input of a software…
Pierre-Marie de Rodat, Raphaël Amiard
Cross-referencing Ada with Libadalang
Manuel Iglesias Abbatermarco
Make with Ada 2017- Ada Based IoT Framework
Emma Adby
Welcoming New Members to the GNAT Pro Family
Fabien Chouteau
There's a mini-RTOS in my language
J. German Rivera