Blog
An Insight Into the AdaCore Ecosystem
Formally Verified Hashed Sets in Ada SPARK
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
AdaFractal Part 2: Fixed Point and Floating Point Math Performance and Parallelization
Rob Tice
AdaFractal Part1: Ada with a Portable GUI
The is the first part of a multiple part post that covers the development of the AdaFractal project. The idea was to create fractals in Ada. Here we…
Quentin Ochem