On 1st of January 2017 the European cooperative research project, VESSEDIA “Verification Engineering of safety and security critical industrial applications” has officially started. VESSEDIA aims to device an approach that allows for safe and secure connected applications. The target is to make formal methods more accessible for application domains that improve the security and reliability of software applications. The VESSEDIA consortium consists of 10 partners from 7 different EU countries

For further project information, please have a look at the announcement letter: