Skip to Main content Skip to Navigation
Conference papers

Formal Modeling and Verification of Blockchain System

Zhangbo Duan 1 Hongliang Mao 1 Zhidong Chen 1 Xiaomin Bai 1 Kai Hu 1 Jean-Pierre Talpin 2 
1 BUAA - Beihang University
2 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-02193607
Contributor : Jean-Pierre Talpin Connect in order to contact the contributor
Submitted on : Wednesday, July 24, 2019 - 3:41:08 PM
Last modification on : Saturday, August 6, 2022 - 3:32:45 AM

Identifiers

  • HAL Id : hal-02193607, version 1

Collections

UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | CENTRALESUPELEC | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | UR1-MATH-NUM

Citation

Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, et al.. Formal Modeling and Verification of Blockchain System. the 10th International Conference, Jan 2018, Sydney, France. pp.231-235. ⟨hal-02193607⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

29

 

Contact                    Legal Notice                    Personal Data