Ressource pédagogique : Formal verification
The Tezos blockchain has several advantages over its concurrents. One of them is the formal verification of smart contract. This module shows a brief overview of how Tezos smart contracts can be formally verified. We will first define in the Generalities section what is the formal verification of a ...
Mots-clés :
cours/présentation, exercice, questionnaire, liste de références
Présentation de: Formal verification
Informations pratiques sur cette ressource
Anglais
Type pédagogique : cours/présentation, exercice, questionnaire, liste de références
Niveau : Enseignement supérieur
Langue de l'apprenant : Anglais
Contenu : texte, image, ressource interactive
Public(s) cible(s) : enseignant, apprenant, gestionnaire
Document : Document HTML
Droits : gratuit, Non libre de droits
Copyright 2021 OpenTezos
Copyright 2021 OpenTezos
Description de la ressource pédagogique
Description (résumé)
The Tezos blockchain has several advantages over its concurrents. One of them is the formal verification of smart contract. This module shows a brief overview of how Tezos smart contracts can be formally verified. We will first define in the Generalities section what is the formal verification of a Tezos smart contract, and its benefits and how proof assistants (and tools) can make this task possible. An explained example (Vote smart contract) will be used to illustrate the formal specification of a Tezos smart contract, and its proof.
- Granularité : cours
- Structure : linéaire
"Domaine(s)" et indice(s) Dewey
- Monnaie (332.4)
- Sécurité des données (005.8)
Thème(s)
Intervenants, édition et diffusion
Editeur(s)
-
OPEN TEZOS
Voir toutes les ressources pédagogiques
Diffusion
ÉDITION
OPEN TEZOS
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-7501 -
Identifiant
unit-ori-wf-1-7501 -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
UNIT -
Date de publication
14-10-2021