SSTIC 2017 - Symposium sur la sécurité des technologies de l'information et des communications
7th - 9th of June 2017, , Rennes, France
Partner DA presents a paper “Static Analysis and Runtime-Assertion Checking: Contribution to Security Counter-Measures”

Frama-C & SPARK Day - Formal Analysis and Proof for Programs in C and Ada
30th of May 2017, , Paris, France
VESSEDIA partners participate at the event.