SPARK 2014

Expanding the boundaries of safe and secure programming.

Learn more about SPARK 2014

Frama-C & SPARK Day Program Now Available

by Yannick Moy in Events – April 11, 2017

This year, SPARK crowd joins the Frama-C crowd, thus the Frama-C Day around static analysis and formal verification of C programs becomes the Frama-C & SPARK Day. This event takes place in Paris on May 30th, and the program is now available online.