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
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 <>
Submitted on : Wednesday, July 24, 2019 - 3:41:08 PM
Last modification on : Friday, January 8, 2021 - 3:40:40 AM

Identifiers

  • HAL Id : hal-02193607, version 1

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⟩

Share

Metrics

Record views

43