VESSEDIA
Verification Engineering of Safety and Security Critical Industrial Applications

The Internet of Things (IoT) increases the risk of attacks on the software of systems caused even by simple execution errors. Software verification tools can make a significant contribution to ensuring the security and reliability of digital technologies.
more info