The VESSEDIA project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731453.
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.
VESSEDIA will tackle this challenge by:
The VESSEDIA consortium brings together a team of recognized partners in the fields of industry and research in combination with innovation-oriented SMEs and a certification expert. This makes it suitable to achieve the project’s objectives. These 10 VESSEDIA partners are spread over 7 European countries and comprise basic research and service design with applied research and end-user oriented service.