methodes-formelles

Avancées technologiques • juillet 9, 2024

09 Juillet 2024 | Les méthodes formelles au service de la blockchain

Des méthodes de spécification et de vérification formelles innovantes renforcent la confiance dans les systèmes distribués basés sur un consensus tel que les protocoles de blockchain les plus récents.

Lire la suite
Plateformes technologiques • mars 24, 2022

Cybersécurité

Identifier les vulnérabilités de systèmes matériels et logiciels et développer des techniques de protection expertes.

Lire la suite
Programmes de recherche • février 7, 2022

Méthodes formelles

Le programme INCA rend les méthodes formelles accessibles à toutes les entreprises qui développent du code.

Lire la suite