unfolding
Outil d'analyse et de traduction de contrats intelligents Ethereum vers des réseaux de Petri colorés (CPNs). Il permet de vérifier des propriétés formelles sur ces contrats à l'aide de la logique temporelle linéaire (LTL).
Cas d'utilisation métiers
Organisation
- Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace (organisation rattachée)
Description générée le mercredi 20 mars 2024 à 08:00:36
D'autres initiatives de la même organisation
- #dataESRdata.esr.gouv.fr
- French Open Science Monitorfrenchopensciencemonitor.esr.gouv.fr
- CurieXplorecuriexplore.enseignementsup-recherche.gouv.fr
- Works-magnetworks-magnet.esr.gouv.fr