The Vessedia project is nearing completion but developing safe software is a continuing challenge. Vessedia has met this challenge by introducing verification tools which ultimately lead to fewer vulnerabilities, thus a safer cyber world.
The VESSEDIA project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731453.