Blog
An Insight Into the AdaCore Ecosystem
Formal Methods Practice and Theory
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
NVIDIA is joining the Ada and SPARK adopter wave
Quentin Ochem
Proving Memory Operations - A SPARK Journey
Yannick Moy
Amazon Relies on Formal Methods for the Security of AWS
Byron Cook, who founded and leads the Automated Reasoning Group at Amazon Web Services (AWS) Security, gave a powerful talk at the Federated Logic…