Blog
An Insight Into the AdaCore Ecosystem
Formal Methods Practice and Theory
Emma Adby
It's time to Make with Ada!
Pamela Trevino
Public Ada Training Paris, France Dec 3 - 7, 2018
Julia Teissl
Train control using Ada on a Raspberry Pi
Fabien Chouteau
Ada on FPGAs with PicoRV32
When I bought the TinyFPGA-BX board, I thought it would be an opportunity to play a little bit with FPGA, learn some Verilog or VHDL. But when I…
Pamela Trevino
AdaCore major sponsor at HIS 2018
Fabien Chouteau, Emma Adby, Yannick Moy
Learn.adacore.com is here
We are very proud to announce the availability of our new Ada and SPARK learning platform learn.adacore.com, which will replace AdaCoreU(niversity)…
Emma Adby, Fabien Chouteau
GNAT Community 2018 is here!
Yannick Moy
Security Agency Uses SPARK for Secure USB Key
ANSSI, the French national security agency, has published the results of their work since 2014 on designing and implementing an open-hardware &…
Yannick Moy, Roderick Chapman
How Ada and SPARK Can Increase the Security of Your Software
There is a long-standing debate about which phase in the Software Development Life Cycle causes the most bugs: is it the specification phase or the…
Johannes Kanig
Taking on a Challenge in SPARK
Thomas Quinot
PolyORB now lives on Github
Rob Tice
SPARKZumo Part 2: Integrating the Arduino Build Environment Into GPS
This is part #2 of the SPARKZumo series of blog posts. This post covers the build system that was used to build the SPARKZumo project and how to…