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
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