Article Tags Formal Verification - Ada Resource Association

Article Jun 3 '13

Developing Secure Code Using SPARK
Published in Embedded.com by Ben Brosgol

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

Continue Reading
Tags Formal Verification SPARK Static Analysis
Article Aug 14 '06

Mathematical approaches to managing defects
Published in The Register by David Norfolk and Pan Pantziarka

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.

Continue Reading
Tags Formal Methods Formal Verification SPARK

Filter by Tags

ARA Sponsor Spotlight

View All Sponsors