Blog
An Insight Into the AdaCore Ecosystem
Proving Safety at Scale: SPARK, RISC-V, and NVIDIA’s Security Strategy
Read More
Yannick Moy, Raphaël Amiard, Tucker Taft
RFCs for Ada and SPARK evolution now on GitHub
Interested in participating in the evolution of the Ada or SPARK languages? We have something for you.
Claire Dross
Using Pointers in SPARK
In this blog post, I will present one of the most interesting additions to the community 2019 version of SPARK: pointer support. One of the core…
Nicolas Setton
GNAT Community 2019 is here!
Boran Car
Bringing Ada To MultiZone
C is the dominant language of the embedded world, almost to the point of exclusivity. Due to its age, and its goal of being a “portable assembler”,…
Allan Ascanius, Per Dalgas Jakobsen
Winning DTU RoboCup with Ada and SPARK
The Danish Technical University has a yearly RoboCup where autonomous vehicles solve a number of challenges. We participated with RoadRunner, a 3D…
Joffrey Huguet
Using SPARK to prove 255-bit Integer Arithmetic from Curve25519
Pamela Trevino
Public Ada Training Paris June 3-7, 2019
Arnaud Charlet
How Do We Use CodePeer at AdaCore
Peter Chapin
Ten Years of Using SPARK to Build CubeSat Nano Satellites With Students
My colleague, Carl Brandon, and I have been running the CubeSat Laboratory at Vermont Technical College (VTC) for over ten years. During that time we…
Yannick Moy, Nicolas Setton, Ben Brosgol
A Readable Introduction to Both MISRA C and SPARK Ada
Yannick Moy, Nicolas Roche, Pierre-Marie de Rodat, Fabien Chouteau
AdaCore at FOSDEM 2019
Like last year, we've sent a squad of AdaCore engineers to participate in the celebration of Open Source software at FOSDEM. Like last year, we had…
Rob Tice