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 coincides with the end of the initial 3-year period of the ProofInUse joint laboratory between AdaCore and Inria. Hence, we invited people from many different places to share the results of their research and their experiments, from Russia, Europe and the United States.

This event takes place in Paris on May 30th, and the program is now available online. Registration is free but mandatory.

Most of the SPARK development team will be participating, we hope to meet you there!

comments powered by Disqus