Frama-C and SPARK Day

May 30, 2017 – Paris, France

Formal Analysis and Proof for Programs in C and Ada. 

AdaCore will be attending and co-leading this workshop.