L'éditeur Prove & Run a pour mission de répondre aux problématiques de cybersécurité liées à l’usage des objets connectés et au déploiement de l’Internet des objets. La société a développé une technologie reposant sur les méthodes formelles qui permet de développer des composants logiciels certifiables au plus haut niveau de sécurité. Grâce à ProvenTools, Prove & Run met à disposition un ensemble de briques logicielles sur étagère prêtes à être intégrées qui constituent le socle de sécurité des architectures logicielles des systèmes embarqués et de l’Internet des objets.