The VESSEDIA project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731453.
Conferences & Workshops
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.