Content 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.
[Blog Post]
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. …
[Blog Post]
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…