Prove & Run est un éditeur de logiciels destinés à protéger les systèmes connectés contre les cyber-attaques. La société a mis au point une technologie à base de méthodes formelles permettant de développer à des coûts industriels des composants complexes (systèmes d’exploitation, hyperviseurs) formellement prouvés et certifiables au plus haut niveau d’assurance, qui doivent être utilisés pour protéger les systèmes industriels et objets connectés contre les attaques à distance.
Prove & Run, Directeur General