Blog
An Insight Into the AdaCore Ecosystem
Formal Methods Practice and Theory
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…
Yannick Moy
Prove in the Cloud
We have put together a byte (8 bits) of examples of SPARK code on a server in the cloud. The benefit with this webpage is that anyone can now…
Yannick Moy
SPARK Tutorial at FDL Conference
Researcher Martin Becker is giving a SPARK tutorial next week at FDL conference. This post gives a link to his tutorial material (cookbook and…
Yannick Moy
New SPARK Cheat Sheet
Our good friend Martin Becker has produced a new cheat sheet for SPARK, that you may find useful for a quick reminder on syntax that you have not…
Pierre-Marie de Rodat