Skip to Main content Skip to Navigation
Conference papers

Smart Contract modeling and verification techniques: A survey

Abstract : The capabilities of smart contracts for supporting and enhancing business processes in distributed-decentralized environments have affected the technological transformation of numerous industries. Designing and developing blockchain-based solutions requires model checking and verification of the components of the system such as smart contracts, for well-behave, correct execution and fulfilling of the business process requirements. Certainly, there are concerns about the execution of smart contracts in such distributed environments. This study shows the research results about model checking of smart contracts, performing a deep analysis of current approaches on modeling and verifying smart contracts and reviewing available tools for such practices. Modeling and verifying smart contracts are addressed at the levels of programming and run time execution.
Complete list of metadatas

Cited literature [33 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02495158
Contributor : Frédéric Davesne <>
Submitted on : Sunday, March 1, 2020 - 2:03:05 PM
Last modification on : Monday, July 6, 2020 - 11:50:51 AM
Long-term archiving on: : Sunday, May 31, 2020 - 12:27:18 PM

File

paper_2_FP.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02495158, version 1

Citation

Adnan Imeri, Nazim Agoulmine, Djamel Khadraoui. Smart Contract modeling and verification techniques: A survey. 8th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2020), Candy E. Sansores, Universidad del Caribe, Mexico, Nazim Agoulmine, IBISC Lab, University of Evry - Paris-Saclay University, Jan 2020, Cancún, Mexico. pp.1--8. ⟨hal-02495158⟩

Share

Metrics

Record views

148

Files downloads

222