SPARK 2014

Expanding the boundaries of safe and secure programming.

Learn more about SPARK 2014

Frama-C & SPARK Day Slides and Highlights

by Yannick Moy in News, Papers and Slides – June 2, 2017

The Frama-C & SPARK Day this week was a very successful event gathering the people interested in formal program verification for C programs (with Frama-C) and for Ada programs (with SPARK). Here is a summary of what was interesting for SPARK users. We also point to the slides of the presentations.