Blog Posts by Elsa Ferrara
Elsa Ferrara
Elsa joined AdaCore in 2023 as an intern in the SPARK team as part of her engineering degree at ENSIIE.
Oct 03, 2023
Elsa Ferrara
SPARK Tetris on the Raspberry Pi Pico
Tetris was the first computer game played in space but let's review our ambitions for the time and try to implement it on a Raspberry Pico first. …
Aug 16, 2023
Elsa Ferrara
Formal Proof on Device Drivers with SPARK
Programming device drivers requires certain practices or operations. These include, for example, the multitude of volatile variables in the code. On…