Blog
An Insight Into the AdaCore Ecosystem
Formal Methods Practice and Theory
Emma Adby
Project P Open Workshop
Emma Adby
Verification on Ada code with Static and Dynamic Code Analysis - Webinar
Karen Mason
The Year for #AdaLove
Claire Dross
A quick glimpse at the translation of Ada integer types in GNATprove
In SPARK, as in most programming languages, there are a bunch of bounded integer types. On the other hand, Why3 only has mathematical integers and a…
Martyn Pike
The latest Mixed Programming with Ada lectures at the AdaCore University
Yannick Moy
A Building Code for Building Code
In a recent article in Communications of the ACM, Carl Landwehr, a renowned scientific expert on security, defends the view that the software…
Yannick Moy
GNATprove Tips and Tricks: Minimizing Rework
As automatic proof is time consuming, it is important that rework following a change in source code is minimized. GNATprove uses a combination of…
Clément Fumex
GNATprove Tips and Tricks: Bitwise Operations
The ProofInUse joint laboratory is currently improving the way SPARK deals with modular types and bitwise operators. Until now the SPARK tool was…
Emma Adby
QGen on Embedded News TV
Emma Adby
20 years on...
Olivier Ramonat
AdaCore Releases GNAT Pro 7.3, QGen 1.0 and GNATdashboard 1.0
Johannes Kanig