Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contracts

The concept of smart contracts (SCs) is becoming more prevalent, and their application is gaining traction across many diverse scenarios. However, producing poorly constructed contracts carries significant risks, including the potential for substantial financial loss, a lack of trust in the technolo...

Full description

Bibliographic Details
Main Authors: Iqra Mustafa, Alan McGibney, Susan Rea
Format: Article
Language:English
Published: Frontiers Media S.A. 2024-01-01
Series:Frontiers in Blockchain
Subjects:
Online Access:https://www.frontiersin.org/articles/10.3389/fbloc.2023.1276233/full