Ada Resource Association

This two-part article discusses the benefits of developing code with automated static analysis, and then shows examples of doing so, using SPARK.

In this article by David Norfolk and Pan Pantziarka, the authors look at the increasing use of Formal Methods and the Correctness by Construction process championed by Altran Praxis.