The VESSEDIA project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731453.
First Technical Meeting (France)
06 June 2017
by Super User
The first day was dedicated to provide a status and process update of the technical work, as well as the highlights and a future outlook. Each technical WP-leader presented the work done and some in-depth technical discussions took place. On the second day, the project partners continued the in-depth discussions about the use-case analysis approach. Furthermore, the analysis tools were presented and the usage of FRAMA-C EVA and Frama-C E-ACSL were discussed. Summing up, it was a very fruitful and interesting meeting, providing many inputs that can be used for further research and development within the VESSEDIA project.