systemes-distribues

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