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

Published in:	Frontiers in Blockchain
Main Authors:	Iqra Mustafa, Alan McGibney, Susan Rea
Format:	Article
Language:	English
Published:	Frontiers Media S.A. 2024-01-01
Subjects:	formal verification smart contracts model-driven engineering knowledge base graphs DAML model
Online Access:	https://www.frontiersin.org/articles/10.3389/fbloc.2023.1276233/full