Interview with Bart Jacobs from KU Leuven, Belgium, September 2019, talking about the VESSEDIA H2020 Project.
VESSEDIA (Verification Engineering of Safety and Security Critical Industrial Applications) aims at enhancing safety and security of information and communication technology (ICT) and especially the Internet of Things (IoT). More precisely the aim of this project consists in making formal methods more accessible for application domains that want to improve the security and reliability of their software applications by means of Formal Methods.
Find out more about this project: vessedia.eu/
The VESSEDIA project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731453.
This video may be downloaded, shared, embedded and reposted across various platforms.
You can turn on/off the subtitles (captions) by clicking on the "CC" button on the bottom right side of this video. To download the video with embedded captions please follow this link: vimeo.com/372347399/07cc051274