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
Identifier les vulnérabilités de systèmes matériels et logiciels et développer des techniques de protection expertes.
Lire la suite
Le programme INCA rend les méthodes formelles accessibles à toutes les entreprises qui développent du code.
Lire la suiteLire la suite
Lire la suite