Blog
An Insight Into the AdaCore Ecosystem
Proving Safety at Scale: SPARK, RISC-V, and NVIDIA’s Security Strategy
Read More
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
Make with Ada 2017- A "Swiss Army Knife" Watch
Yannick Moy, Martin Becker, Emanuel Regnath
Physical Units Pass the Generic Test
The support for physical units in programming languages is a long-standing issue, which very few languages have even attempted to solve. This issue…
Jonas Attertun
Make with Ada 2017: Brushless DC Motor Controller
This project involves the design of a software platform that provides a good basis when developing motor controllers for brushless DC motors…