Formal Modeling and Verification of Blockchain System - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Formal Modeling and Verification of Blockchain System

Zhangbo Duan
  • Function : Author
Hongliang Mao
  • Function : Author
Zhidong Chen
  • Function : Author
Xiaomin Bai
  • Function : Author
Kai Hu
  • Function : Author
Jean-Pierre Talpin
No file

Dates and versions

hal-02193607 , version 1 (24-07-2019)

Identifiers

  • HAL Id : hal-02193607 , version 1

Cite

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⟩
34 View
0 Download

Share

Gmail Facebook X LinkedIn More