Découvrez avec le professeur associé Bas Spitters les contrats intelligents Concordium et la vérification formelle.
Le professeur Spitters dirige l'équipe de vérification formelle au Concordium Blockchain Research Center de l'Université d'Aarhus, au Danemark.
La vérification formelle est une technique permettant de prouver, avec une certitude mathématique, qu'un logiciel respecte sa spécification formelle, garantissant ainsi qu'il se comporte comme prévu. C'est le plus haut niveau de qualité logicielle.
--
Rejoignez Concordium sur nos différents canaux :